Finite satisfiability and ℵ0-categorical structures with trivial dependence

DOI10.2178/jsl/1154698579zbMath1109.03024OpenAlexW2062864717MaRDI QIDQ3410676

Marko Djordjević

Publication date: 29 November 2006

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

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

zbMATH Keywords

simple theory1-basedfinite submodel property\(\aleph_0\)-categoricaltrivial dependence

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Categoricity and completeness of theories (03C35)

Related Items (7)

On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry ⋮ On sets with rank one in simple homogeneous structures ⋮ Super/rosy \(L^k\)-theories and classes of finite structures ⋮ Homogeneous 1‐based structures and interpretability in random structures ⋮ BINARY PRIMITIVE HOMOGENEOUS SIMPLE STRUCTURES ⋮ Binary simple homogeneous structures ⋮ Independence and the finite submodel property

Cites Work

• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• The finite submodel property and \(\omega\)-categorical expansions of pregeometries
• The geometry of 1-based minimal types
• Unnamed Item

This page was built for publication: Finite satisfiability and ℵ₀-categorical structures with trivial dependence