Chains of theories and companionability

DOI10.1090/PROC12789zbMATH Open1386.03040arXiv1303.6759OpenAlexW1998309277MaRDI QIDQ2944867FDOQ2944867

Authors:

Publication date: 8 September 2015

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

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.

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

Recommendations

• On dividing chains in simple theories
• On decomposability of theories
• Companions, causality and codensity
• Companions, codensity and causality
• Dimensions of chains of relations
• scientific article; zbMATH DE number 4122044
• scientific article; zbMATH DE number 23039
• scientific article; zbMATH DE number 5046357
• A class of connected theories of order
• Compatible relations on Heyting chains

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some counterexamples to separation of variables
• Model theory of difference fields
• Fields with several commuting derivations
• Model-completions and modules
• Generic automorphisms of fields
• The model theory of differential fields with finitely many commuting derivations
• Differential forms in the model theory of differential fields
• Geometric characterizations of existentially closed fields with operators
• Geometric axioms for differentially closed fields with several commuting derivations
• Model-theory of vector-spaces over unspecified fields
• Corrigendum to: ``Geometric axioms for differentially closed fields with several commuting derivations

Cited In (3)

• Title not available (Why is that?)
• MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS
• Title not available (Why is that?)

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)