Amalgamation functors and homology groups in model theory
Logic
2011-05-17 v1
Abstract
We present definitions of homology groups associated to a family of amalgamation functors. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H_2 for strong types in stable theories and show that in this context, the class of possible groups H_2 is precisely the profinite abelian groups.
Cite
@article{arxiv.1105.2921,
title = {Amalgamation functors and homology groups in model theory},
author = {John Goodrick and Byunghan Kim and Alexei Kolesnikov},
journal= {arXiv preprint arXiv:1105.2921},
year = {2011}
}
Comments
64 pages