TY - GEN

T1 - Characterization of the second homology group of a stationary type in a stable theory

AU - Goodrick, John

AU - Kim, Byunghan

AU - Kolesnikov, Alexei

N1 - Publisher Copyright:
© 2015 by World Scientific Publishing Co. Pte. Ltd.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2013

Y1 - 2013

N2 - Let T be a stable theory. It was shown in Ref. 5 that one can define the notions of homology groups attached to a stationary type of T. It was also shown that if T fails to have an amalgamation property called 3-uniqueness, then for some stationary type p the homology group H2(p) has to be a nontrivial abelian profinite group. The goal of this paper is to show that for any abelian profinite group G there is a stable (in fact, categorical) theory and a stationary type p such that H2(p) ≅ G.

AB - Let T be a stable theory. It was shown in Ref. 5 that one can define the notions of homology groups attached to a stationary type of T. It was also shown that if T fails to have an amalgamation property called 3-uniqueness, then for some stationary type p the homology group H2(p) has to be a nontrivial abelian profinite group. The goal of this paper is to show that for any abelian profinite group G there is a stable (in fact, categorical) theory and a stationary type p such that H2(p) ≅ G.

UR - http://www.scopus.com/inward/record.url?scp=85007357394&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85007357394&partnerID=8YFLogxK

U2 - 10.1142/9789814678001_0005

DO - 10.1142/9789814678001_0005

M3 - Conference contribution

AN - SCOPUS:85007357394

SN - 9789814675994

T3 - Proceedings of the 13th Asian Logic Conference, ALC 2013

SP - 93

EP - 104

BT - Proceedings of the 13th Asian Logic Conference, ALC 2013

A2 - Zhao, Xishun

A2 - Feng, Qi

A2 - Kim, Byunghan

A2 - Yu, Liang

PB - World Scientific Publishing Co. Pte Ltd

T2 - 13th Asian Logic Conference, ALC 2013

Y2 - 16 September 2013 through 20 September 2013

ER -