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

John Goodrick, Byunghan Kim, Alexei Kolesnikov

Research output: Contribution to journalArticle

9 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

All Science Journal Classification (ASJC) codes

  • Philosophy
  • Logic

Fingerprint Dive into the research topics of 'Homology groups of types in model theory and the computation of H<sub>2</sub>(P)'. Together they form a unique fingerprint.

  • Cite this