A characterization of companionable, universal theories

DOI10.2307/2273518zbMath0391.03019OpenAlexW2060936152MaRDI QIDQ4172042

William H. Wheeler

Publication date: 1978

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273518

zbMATH Keywords

Model-CompanionsIntegral DomainsCommutative RingsModel-CompletionN-Colorable GraphsUniversal Theories

Mathematics Subject Classification ID

Integral domains (13G05) Coloring of graphs and hypergraphs (05C15) Applications of logic to commutative algebra (13L05) Foundations of classical theories (including reverse mathematics) (03B30) Models of other mathematical theories (03C65)

Related Items (6)

Existentially Complete Abelian Lattice-Ordered Groups ⋮ Uniform interpolation and coherence ⋮ Structural problems for model companions of varieties of polygons ⋮ Preservation theorems for limits of structures and global sections of sheaves of structures ⋮ Algebraically complete lattices ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Unnamed Item
• Forcing, arithmetic, division rings
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Amalgamation properties and interpolation theorems for equational theories
• Model-companions and definability in existentially complete structures
• The model completion of the theory of commutative regular rings

This page was built for publication: A characterization of companionable, universal theories