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

John Goodrick; Byunghan Kim; Alexei Kolesnikov

doi:10.2178/jsl.7804040

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

John Goodrick, Byunghan Kim, Alexei Kolesnikov

Department of Mathematics

Research output: Contribution to journal › Article › peer-review

11 Citations (Scopus)

Abstract

We present definitions of homology groups H_n(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 H₂(p) for strong types in stable theories and show that any profinite abelian group can occur as the group H₂(p).

Original language	English
Pages (from-to)	1086-1114
Number of pages	29
Journal	Journal of Symbolic Logic
Volume	78
Issue number	4
DOIs	https://doi.org/10.2178/jsl.7804040
Publication status	Published - 2013

Bibliographical note

Publisher Copyright:
© 2013, Association for Symbolic Logic.

All Science Journal Classification (ASJC) codes

Philosophy
Logic

Access to Document

10.2178/jsl.7804040

Cite this

@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",

note = "Publisher Copyright: {\textcopyright} 2013, Association for Symbolic Logic.",

year = "2013",

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",

}

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

Y1 - 2013

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

AN - SCOPUS:84925260506

SN - 0022-4812

VL - 78

SP - 1086

EP - 1114

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 4

ER -