MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 571

Preprint Number 571

Previous Next Preprint server


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:

Full text arXiv 1303.6759: pdf, ps.


Last updated: April 1 2013 17:56 Please send your corrections to: