Homology groups of types in stable theories and the Hurewicz correspondence

DOI10.1016/j.apal.2017.03.007zbMath1422.03068arXiv1412.3864OpenAlexW2963434157MaRDI QIDQ2358628

Byunghan Kim, John Goodrick, Alexei S. Kolesnikov

Publication date: 15 June 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.3864

zbMATH Keywords

uniquenesshomology groupsamalgamationstable theoriesHurewicz correspondence

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Homological and categorical methods for abelian groups (20K40) Other homology theories in algebraic topology (55N35)

Related Items (3)

The Lascar groups and the first homology groups in model theory ⋮ On the \(n\)-uniqueness of types in rosy theories ⋮ Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories

Cites Work

• On the \(n\)-uniqueness of types in rosy theories
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Classification theory and the number of non-isomorphic models.
• Amalgamation functors and boundary properties in simple theories
• Totally Categorical Structures
• Groupoids, covers, and 3-uniqueness in stable theories
• Amalgamation functors and homology groups in model theory
• Homology Groups of Types in Model Theory and the Computation of H₂(p)
• Type-amalgamation properties and polygroupoids in stable theories
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Homology groups of types in stable theories and the Hurewicz correspondence