MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 571
Preprint Number 571
571. Özcan Kasal and David Pierce Chains of Theories and Companionability E-mail: Submission date: 27 March 2013. Abstract: 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 zero, 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. Mathematics Subject Classification: 03C10, 03C60, 12H05, 13N15 Keywords and phrases: |

Last updated: March 23 2021 09:22 | Please send your corrections to: |