Independence and the finite submodel property
From MaRDI portal
Publication:1011755
DOI10.1016/j.apal.2008.10.004zbMath1161.03017OpenAlexW1997491450MaRDI QIDQ1011755
Publication date: 9 April 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2008.10.004
Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45) Basic properties of first-order languages and structures (03C07)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(n\)-simple theories
- Generalized amalgamation and \(n\)-simplicity
- \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
- Structures coordinatized by indiscernible sets
- The finite submodel property and \(\omega\)-categorical expansions of pregeometries
- Finite satisfiability and ℵ0-categorical structures with trivial dependence
- CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION
- ℵ0 -Categorical Structures Smoothly Approximated by Finite Substructures
- The geometry of 1-based minimal types
- Coordinatisation and canonical bases in simple theories
This page was built for publication: Independence and the finite submodel property