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

John Goodrick, Byunghan Kim, Alexei Kolesnikov

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.

Original languageEnglish
Title of host publicationProceedings of the 13th Asian Logic Conference, ALC 2013
EditorsXishun Zhao, Qi Feng, Byunghan Kim, Liang Yu
PublisherWorld Scientific Publishing Co. Pte Ltd
Number of pages12
ISBN (Print)9789814675994
Publication statusPublished - 2013
Event13th Asian Logic Conference, ALC 2013 - Guangzhou, China
Duration: 2013 Sep 162013 Sep 20

Publication series

NameProceedings of the 13th Asian Logic Conference, ALC 2013


Other13th Asian Logic Conference, ALC 2013

Bibliographical note

Publisher Copyright:
© 2015 by World Scientific Publishing Co. Pte. Ltd.

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Computational Theory and Mathematics

Cite this