CHAINS OF THEORIES AND COMPANIONABILITY

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

Collections

Natural Sciences and Mathematics, Article