On first-order sentences without finite models

DOI10.2178/jsl/1082418529zbMath1081.03029OpenAlexW1988272906MaRDI QIDQ5311726

Marko Djordjević

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1082418529

zbMATH Keywords

finitely axiomatized theorystrict order property\(\omega\)-categoricityfinite submodel propertystable pseudoplanes

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35)

Related Items (3)

The finite submodel property and \(\omega\)-categorical expansions of pregeometries ⋮ Asymptotic probabilities of extension properties and random \(l\)-colourable structures ⋮ Deciding simple infinity axiom sets with one binary relation by means of superpostulates

Cites Work

• Unnamed Item
• Unnamed Item
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• Finite axiomatizability and theories with trivial algebraic closure
• \(\aleph_0\)-categorical structures with a predimension
• Randomness and semigenericity

This page was built for publication: On first-order sentences without finite models