Homology groups of types in model theory and the computation of H2(P)

John Goodrick, Byunghan Kim, Alexei Kolesnikov

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

We present definitions of homology groups Hn(p), n ≥ 0, associated to a complete type p. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H2(p) for strong types in stable theories and show that any profinite abelian group can occur as the group H2(p).

Original languageEnglish
Pages (from-to)1086-1114
Number of pages29
JournalJournal of Symbolic Logic
Volume78
Issue number4
DOIs
Publication statusPublished - 2013 Jan 1

Fingerprint

Homology Groups
Model Theory
P-groups
Profinite Groups
Amalgamation
Abelian group
Trivial
Homology

All Science Journal Classification (ASJC) codes

  • Logic
  • Philosophy

Cite this

Goodrick, John ; Kim, Byunghan ; Kolesnikov, Alexei. / Homology groups of types in model theory and the computation of H2(P). In: Journal of Symbolic Logic. 2013 ; Vol. 78, No. 4. pp. 1086-1114.
@article{9c85460c9faa41fb80df868a94810c17,
title = "Homology groups of types in model theory and the computation of H2(P)",
abstract = "We present definitions of homology groups Hn(p), n ≥ 0, associated to a complete type p. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H2(p) for strong types in stable theories and show that any profinite abelian group can occur as the group H2(p).",
author = "John Goodrick and Byunghan Kim and Alexei Kolesnikov",
year = "2013",
month = "1",
day = "1",
doi = "10.2178/jsl.7804040",
language = "English",
volume = "78",
pages = "1086--1114",
journal = "Journal of Symbolic Logic",
issn = "0022-4812",
publisher = "Association for Symbolic Logic",
number = "4",

}

Homology groups of types in model theory and the computation of H2(P). / Goodrick, John; Kim, Byunghan; Kolesnikov, Alexei.

In: Journal of Symbolic Logic, Vol. 78, No. 4, 01.01.2013, p. 1086-1114.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Homology groups of types in model theory and the computation of H2(P)

AU - Goodrick, John

AU - Kim, Byunghan

AU - Kolesnikov, Alexei

PY - 2013/1/1

Y1 - 2013/1/1

N2 - We present definitions of homology groups Hn(p), n ≥ 0, associated to a complete type p. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H2(p) for strong types in stable theories and show that any profinite abelian group can occur as the group H2(p).

AB - We present definitions of homology groups Hn(p), n ≥ 0, associated to a complete type p. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H2(p) for strong types in stable theories and show that any profinite abelian group can occur as the group H2(p).

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

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

U2 - 10.2178/jsl.7804040

DO - 10.2178/jsl.7804040

M3 - Article

VL - 78

SP - 1086

EP - 1114

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 4

ER -