5 citations · 18 across the 16 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014
Homology groups of types in stable theories and the Hurewicz correspondence
John Goodrick, Byunghan Kim, Alexei Kolesnikov
We give an explicit description of the homomorphism group H_n(p) of a strong type p in any stable theory under the assumption that for every non-forking extension q of p the groups…
math.LO2014★ 2 cited
Type-amalgamation properties and polygroupoids in stable theories
John Goodrick, Byunghan Kim, Alexei Kolesnikov
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.…