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

Abstract

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
PublisherWorld Scientific Publishing Co. Pte Ltd
Pages93-104
Number of pages12
ISBN (Print)9789814675994
Publication statusPublished - 2013 Jan 1
Event13th Asian Logic Conference, ALC 2013 - Guangzhou, China
Duration: 2013 Sep 162013 Sep 20

Other

Other13th Asian Logic Conference, ALC 2013
CountryChina
CityGuangzhou
Period13/9/1613/9/20

All Science Journal Classification (ASJC) codes

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

Cite this

Goodrick, J., Kim, B., & Kolesnikov, A. (2013). Characterization of the second homology group of a stationary type in a stable theory. In Proceedings of the 13th Asian Logic Conference, ALC 2013 (pp. 93-104). World Scientific Publishing Co. Pte Ltd.
Goodrick, John ; Kim, Byunghan ; Kolesnikov, Alexei. / Characterization of the second homology group of a stationary type in a stable theory. Proceedings of the 13th Asian Logic Conference, ALC 2013. World Scientific Publishing Co. Pte Ltd, 2013. pp. 93-104
@inproceedings{16f425d2ed714ae1bca1eddd496b8912,
title = "Characterization of the second homology group of a stationary type in a stable theory",
abstract = "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.",
author = "John Goodrick and Byunghan Kim and Alexei Kolesnikov",
year = "2013",
month = "1",
day = "1",
language = "English",
isbn = "9789814675994",
pages = "93--104",
booktitle = "Proceedings of the 13th Asian Logic Conference, ALC 2013",
publisher = "World Scientific Publishing Co. Pte Ltd",
address = "Singapore",

}

Goodrick, J, Kim, B & Kolesnikov, A 2013, Characterization of the second homology group of a stationary type in a stable theory. in Proceedings of the 13th Asian Logic Conference, ALC 2013. World Scientific Publishing Co. Pte Ltd, pp. 93-104, 13th Asian Logic Conference, ALC 2013, Guangzhou, China, 13/9/16.

Characterization of the second homology group of a stationary type in a stable theory. / Goodrick, John; Kim, Byunghan; Kolesnikov, Alexei.

Proceedings of the 13th Asian Logic Conference, ALC 2013. World Scientific Publishing Co. Pte Ltd, 2013. p. 93-104.

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

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

PY - 2013/1/1

Y1 - 2013/1/1

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

M3 - Conference contribution

AN - SCOPUS:85007357394

SN - 9789814675994

SP - 93

EP - 104

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

PB - World Scientific Publishing Co. Pte Ltd

ER -

Goodrick J, Kim B, Kolesnikov A. Characterization of the second homology group of a stationary type in a stable theory. In Proceedings of the 13th Asian Logic Conference, ALC 2013. World Scientific Publishing Co. Pte Ltd. 2013. p. 93-104