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

DOI10.1007/s00153-008-0116-0zbMath1162.03018OpenAlexW2026995305MaRDI QIDQ1005929

Michael Chris 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

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

Related Items (6)

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

Cites Work

• Unnamed Item
• Model completeness for trivial, uncountably categorical theories of Morley rank \(1\)
• Some trivial considerations
• Trivial, strongly minimal theories are model complete after naming constants
• On the computability-theoretic complexity of trivial, strongly minimal models

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