Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 703

Preprint Number 703

Previous Next Preprint server

703. John Goodrick, Byunghan Kim, and Alexei Kolesnikov
Type-amalgamation properties and polygroupoids in stable theories

Submission date: 5 April 2014.


We show that in a stable first-order theory, the failure of higher-dimensional type amalgamation can always be witnessed by algebraic structures which we call n-ary polygroupoids. This generalizes a result of Hrushovski that failures of 4-amalgamation in stable theories are witnessed by definable groupoids (which are 2-ary polygroupoids in our terminology). The n-ary polygroupoids are definable in a mild expansion of the language (adding a unary predicate for an infinite Morley sequence).

Mathematics Subject Classification: 03C45

Keywords and phrases:

Full text arXiv 1404.1525: pdf, ps.

Last updated: March 23 2021 10:22 Please send your corrections to: