Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
CHAINS OF THEORIES AND COMPANIONABILITY
Download
index.pdf
Date
2015-11-01
Author
Kasal, Ozcan
Pierce, David
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
18
views
0
downloads
Cite This
The theory of fields that are equipped with a countably infinite family of commuting derivations is not companionable, but if the axiom is added whereby the characteristic of the fields is zero, then the resulting theory is companionable. Each of these two theories is the union of a chain of companionable theories. In the case of characteristic 0, the model-companions of the theories in the chain form another chain, whose union is therefore the model-companion of the union of the original chain. However, in a signature with predicates, in all finite numbers of arguments, for linear dependence of vectors, the two-sorted theory of vector-spaces with their scalar-fields is companionable, and it is the union of a chain of companionable theories, but the model-companions of the theories in the chain are mutually inconsistent. Finally, the union of a chain of non-companionable theories may be companionable.
Subject Keywords
Model-theory
,
Fields
URI
https://hdl.handle.net/11511/65355
Journal
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
DOI
https://doi.org/10.1090/proc12789
Collections
Natural Sciences and Mathematics, Article
Suggestions
OpenMETU
Core
CLUSTER ALGEBRAS AND SYMMETRIC MATRICES
Seven, Ahmet İrfan (2015-02-01)
In the structural theory of cluster algebras, a crucial role is played by a family of integer vectors, called c-vectors, which parametrize the coefficients. It has recently been shown that each c-vector with respect to an acyclic initial seed is a real root of the corresponding root system. In this paper, we obtain an interpretation of this result in terms of symmetric matrices. We show that for skew-symmetric cluster algebras, the c-vectors associated with any seed defines a quasi-Cartan companion for the ...
Scalar waves in spacetimes with closed timelike curves
Buğdaycı, Necmi; Başkal, Sibel; Department of Physics (2005)
The existence and -if exists- the nature of the solutions of the scalar wave equation in spacetimes with closed timelike curves are investigated. The general properties of the solutions on some class of spacetimes are obtained. Global monochromatic solutions of the scalar wave equation are obtained in flat wormholes of dimensions 2+1 and 3+1. The solutions are in the form of infinite series involving cylindirical and spherical wave functions and they are elucidated by the multiple scattering method. Explici...
Additive polynomials over perfect fields
Durhan, Salih (2011-07-29)
Additive polynomials in one variable over valued fields of positive characteristic are sufficiently well understood in terms of their approximation properties. We extend results in this direction to multi-variable additive polynomials over perfect valued fields.
On the deformation chirality of real cubic fourfolds
Finashin, Sergey (Wiley, 2009-09-01)
According to our previous results, the conjugacy class of the involution induced by the complex conjugation in the homology of a real non-singular cubic fourfold determines the fourfold tip to projective equivalence and deformation. Here, we show how to eliminate the projective equivalence and obtain a pure deformation classification, that is, how to respond to the chirality problem: which cubics are not deformation equivalent to their image under a mirror reflection. We provide an arithmetical criterion of...
Value sets of Lattes maps over finite fields
Küçüksakallı, Ömer (Elsevier BV, 2014-10-01)
We give an alternative computation of the value sets of Dickson polynomials over finite fields by using a singular cubic curve. Our method is not only simpler but also it can be generalized to the non-singular elliptic case. We determine the value sets of Lattes maps over finite fields which are rational functions induced by isogenies of elliptic curves with complex multiplication.
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
O. Kasal and D. Pierce, “CHAINS OF THEORIES AND COMPANIONABILITY,”
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
, pp. 4937–4949, 2015, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/65355.