Chains of theories and companionability

DOI10.1090/PROC12789MaRDI QIDQ2944867zbMATH OpenOpenAlexFDO

Authors

Publication date 8 September 2015

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1303.6759

Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

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.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Chains of theories and companionability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2944867)