Type-amalgamation properties and polygroupoids in stable theories
From MaRDI portal
Publication:5501924
DOI10.1142/S021906131550004XzbMath1372.03062arXiv1404.1525OpenAlexW1627844409MaRDI QIDQ5501924
Alexei S. Kolesnikov, John Goodrick, Byunghan Kim
Publication date: 14 August 2015
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1404.1525
Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Sets with a single binary operation (groupoids) (20N02) (n)-ary systems ((nge 3)) (20N15)
Related Items (3)
Homology groups of types in stable theories and the Hurewicz correspondence ⋮ Induced and higher-dimensional stable independence ⋮ On the \(n\)-uniqueness of types in rosy theories
Cites Work
- Second cohomology groups and finite covers of infinite symmetric groups.
- Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
- Generalized amalgamation and \(n\)-simplicity
- Some remarks on CM-triviality
- Classification theory and the number of non-isomorphic models.
- Amalgamation functors and boundary properties in simple theories
- Failure of n -uniqueness: a family of examples
- CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION
- Stability theory, permutations of indiscernibles, and embedded finite models
- Existential definability with bounds on archimedean valuations
- Groupoids, covers, and 3-uniqueness in stable theories
- Higher Topos Theory (AM-170)
This page was built for publication: Type-amalgamation properties and polygroupoids in stable theories
