Categoricity and generalized model completeness

DOI10.1007/BF01625828zbMath0637.03022OpenAlexW2046909290MaRDI QIDQ1098836

John T. Baldwin, Gisela Ahlbrandt

Publication date: 1988

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01625828

zbMATH Keywords

axiomatizabilitysentences of bounded quantifier complexity

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Related Items (1)

Constructing \(\omega\)-stable structures: Model completeness.

Cites Work

• Unnamed Item
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• First-order theories of abstract dependence relations
• Quasi finitely axiomatizable totally categorical theories
• Classification theory and the number of non-isomorphic models
• Categoricity in Power
• Omitting types of prenex formulas
• Almost strongly minimal theories. I

This page was built for publication: Categoricity and generalized model completeness