Model completeness for trivial, uncountably categorical theories of Morley rank \(1\)

DOI10.1007/S00153-006-0019-XzbMath1111.03035OpenAlexW2089558857MaRDI QIDQ862348

Alexander Raichev, Alfred Dolich, Michael Chris Laskowski

Publication date: 24 January 2007

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

Full work available at URL: https://doi.org/10.1007/s00153-006-0019-x

zbMATH Keywords

Morley rankmodel completenesscategorical theories

Mathematics Subject Classification ID

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

Related Items (4)

Mutually algebraic structures and expansions by predicates ⋮ Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 ⋮ The elementary diagram of a trivial, weakly minimal structure is near model complete ⋮ Uniformly bounded arrays and mutually algebraic structures

Cites Work

• Unnamed Item
• Unnamed Item
• Non Σ_n axiomatizable almost strongly minimal theories
• Trivial, strongly minimal theories are model complete after naming constants

This page was built for publication: Model completeness for trivial, uncountably categorical theories of Morley rank \(1\)