The elementary diagram of a trivial, weakly minimal structure is near model complete

DOI10.1007/S00153-008-0116-0MaRDI QIDQ1005929zbMATH OpenOpenAlexFDO

Authors M. C. Laskowski

Publication date 17 March 2009

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

Full work available at URL https://doi.org/10.1007/s00153-008-0116-0

zbMATH Keywords

quantifier eliminationweakly minimal theory

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Classification theory, stability, and related concepts in model theory (03C45)

Cites work

• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• Model completeness for trivial, uncountably categorical theories of Morley rank 1
• On the computability-theoretic complexity of trivial, strongly minimal models
• Some trivial considerations
• Trivial, strongly minimal theories are model complete after naming constants

Cited in

(6)

• Mutual algebraicity and cellularity
• Jumps in speeds of hereditary properties in finite relational languages
• Mutually algebraic structures and expansions by predicates
• COUNTING SIBLINGS IN UNIVERSAL THEORIES
• Worst-case expansions of complete theories
• Uniformly bounded arrays and mutually algebraic structures

This page was built for publication: The elementary diagram of a trivial, weakly minimal structure is near model complete

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