Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Açık Bilim Politikası
Açık Bilim Politikası
Frequently Asked Questions
Frequently Asked Questions
Browse
Browse
By Issue Date
By Issue Date
Authors
Authors
Titles
Titles
Subjects
Subjects
Communities & Collections
Communities & Collections
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
2
views
3
downloads
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