Abstract | ||
---|---|---|
We show that in a stable first-order theory, the failure of higher dimensional type amalgamation can always be witnessed by algebraic structures that we call n-ary polygroupoids. This generalizes a result of Hrushovski in [16] that failures of 4-amalgamation are witnessed by definable groupoids (which correspond to 2-ary polygroupoids in our terminology). The n-ary polygroupoids are definable in a mild expansion of the language (adding a predicate for a Morley sequence). |
Year | DOI | Venue |
---|---|---|
2015 | 10.1142/S021906131550004X | JOURNAL OF MATHEMATICAL LOGIC |
Keywords | Field | DocType |
Amalgamation properties,stable theories,polygroupoids,groupoids | Discrete mathematics,Terminology,Algebra,Algebraic structure,Predicate (grammar),Mathematics | Journal |
Volume | Issue | ISSN |
15 | 1 | 0219-0613 |
Citations | PageRank | References |
2 | 0.78 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
John Goodrick | 1 | 26 | 7.57 |
Byunghan Kim | 2 | 95 | 22.53 |
Alexei Kolesnikov | 3 | 18 | 4.98 |