Model-completeness and elimination of quantifiers for subdirect products of structures

DOI10.1016/0021-8693(75)90101-5zbMath0318.02052MaRDI QIDQ1222162

Volker Weispfenning

Publication date: 1975

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(75)90101-5

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

12L99: Connections between field theory and logic

13L05: Applications of logic to commutative algebra

12H05: Differential algebra

06F15: Ordered groups

03C68: Other classical first-order model theory

Related Items

Hyper-regular lattice-ordered groups, Sheaf Constructions and Their Elementary Properties, Model theory of Boolean products of subdirectly irreducible heyting algebras, Boolean products of real closed valuation rings and fields, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, The model-theoretic structure of Abelian group rings, A valuation ring analogue of von Neumann regularity, Elementary equivalence of some rings of definable functions, Regular separably closed rings, Sheaves and prime model extensions, Amalgamation bases for commutative rings without nilpotent elements, Preservation theorems for limits of structures and global sections of sheaves of structures, Model companion and model completion of theories of rings, Commutative regular rings and Boolean-valued fields, On Boolean algebras and integrally closed commutative regular rings, A characterization of companionable, universal theories, Commutative Regular Rings with Integral Closure

Cites Work

• The representation of biregular rings by sheaves
• Introduction to model theory and to the metamathematics of algebra
• Model-completeness for sheaves of structures
• Hereditary Commutative Rings and Centres of Hereditary Rings
• Model-completions and modules
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item