Nearly Model Complete Theories

DOI10.1002/MALQ.19990450302MaRDI QIDQ4264529zbMATH OpenOpenAlexFDO

Authors Brian Turnquist, David W. Kueker

Publication date 22 September 1999

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19990450302

zbMATH Keywords

1-model complete theories\(n\)-model complete theoriesnearly model complete theories

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)

Recommendations

• Computable models of theories with few models
• scientific article; zbMATH DE number 1072411
• Theories with finitely many models
• Model-completeness of a theory and evaluation of formulas
• scientific article; zbMATH DE number 1670491
• Model completeness and relative decidability
• Saturated models of universal theories
• scientific article; zbMATH DE number 4043224
• The theory of finite models
• Similarities and proximity of complete theories

Cites work

• Stable generic structures
• Theory of models with generalized atomic formulas

Cited in

(3)

• A Consistent Higher-Order Theory Without a (Higher-Order) Model
• MATHEMATICAL PSEUDO-COMPLETION OF THE BGM MODEL
• Characterizing model completeness among mutually algebraic structures

This page was built for publication: Nearly Model Complete Theories

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