Homology Groups of Types in Model Theory and the Computation of H2(p)
From MaRDI portal
Publication:5407042
DOI10.2178/jsl.7804040zbMath1349.03031OpenAlexW2144584158MaRDI QIDQ5407042
Byunghan Kim, John Goodrick, Alexei S. Kolesnikov
Publication date: 4 April 2014
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1388953995
Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Homological and categorical methods for abelian groups (20K40)
Related Items (7)
Homology groups of types in stable theories and the Hurewicz correspondence ⋮ The Lascar group and the strong types of hyperimaginaries ⋮ 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 ⋮ HOMOTOPY MODEL THEORY ⋮ CLASSIFYING SPACES AND THE LASCAR GROUP
This page was built for publication: Homology Groups of Types in Model Theory and the Computation of H2(p)