Homology groups of types in stable theories and the Hurewicz correspondence
From MaRDI portal
Publication:2358628
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
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 H2(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