Type-amalgamation properties and polygroupoids in stable theories

DOI10.1142/S021906131550004XMaRDI QIDQ5501924zbMATH OpenOpenAlexFDO

Authors John Goodrick, Byunghan Kim, Alexei Kolesnikov

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

zbMATH Keywords

amalgamation propertiesgroupoidspolygroupoidsstable theories

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Sets with a single binary operation (groupoids) (20N02) (n)-ary systems ((nge 3)) (20N15)

Abstract: We show that in a stable first-order theory, the failure of higher-dimensional type amalgamation can always be witnessed by algebraic structures which we call n-ary polygroupoids. This generalizes a result of Hrushovski that failures of 4-amalgamation in stable theories are witnessed by definable groupoids (which are 2-ary polygroupoids in our terminology). The n-ary polygroupoids are definable in a mild expansion of the language (adding a unary predicate for an infinite Morley sequence).

Recommendations

• Amalgamation functors and boundary properties in simple theories
• Groupoids, imaginaries and internal covers
• Failure of n -uniqueness: a family of examples
• Characterization of the second homology group of a stationary type in a stable theory
• Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories

Cites work

• Amalgamation functors and boundary properties in simple theories
• 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}\)
• Classification theory and the number of non-isomorphic models.
• CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION
• Existential definability with bounds on archimedean valuations
• Failure of n -uniqueness: a family of examples
• Generalized amalgamation and \(n\)-simplicity
• Groupoids, covers, and 3-uniqueness in stable theories
• Higher Topos Theory (AM-170)
• Second cohomology groups and finite covers of infinite symmetric groups.
• Some remarks on CM-triviality
• Stability theory, permutations of indiscernibles, and embedded finite models

Cited in

(9)

• Amalgamation functors and boundary properties in simple theories
• Induced and higher-dimensional stable independence
• Homology groups of types in stable theories and the Hurewicz correspondence
• Characterization of the second homology group of a stationary type in a stable theory
• On generic structures with a strong amalgamation property
• On the n-uniqueness of types in rosy theories
• Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories
• Higher internal covers
• Non-isolated types in stable theories

This page was built for publication: Type-amalgamation properties and polygroupoids in stable theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5501924)