Abstract: In this paper we shall prove that any -transitive finitely homogeneous structure with a supersimple theory satisfying a generalized amalgamation property is a random structure. In particular, this adapts a result of Koponen for binary homogeneous structures to arbitrary ones without binary relations. Furthermore, we point out a relation between generalized amalgamation, triviality and quantifier elimination in simple theories.
Recommendations
Cites work
- A model-theoretic study of right-angled buildings
- A survey of homogeneous structures
- AN AXIOMATIC APPROACH TO FREE AMALGAMATION
- Binary primitive homogeneous simple structures
- Binary simple homogeneous structures are supersimple with finite rank
- Homogeneous 1-based structures and interpretability in random structures
- scientific article; zbMATH DE number 914513 (Why is no real title available?)
- scientific article; zbMATH DE number 1425669 (Why is no real title available?)
- Simple theories and hyperimaginaries
- Simplicity of some automorphism groups.
- Simplicity theory
- Some trivial considerations
Cited in
(9)- Amalgamation for direct systems
- Supersimple -categorical theories and pregeometries
- On special amalgamation bases
- Random amalgamation of simple theories
- Universal domains and the amalgamation property
- AN AXIOMATIC APPROACH TO FREE AMALGAMATION
- Amalgams, connectifications, and homogeneous compacta
- Homogenizable relational structures
- Generalized amalgamation and \(n\)-simplicity
This page was built for publication: Generalized amalgamation and homogeneity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4600460)