Type-amalgamation properties and polygroupoids in stable theories

, &
Journal of Mathematical Logic 15 (1):1550004 (2015)
  Copy   BIBTEX

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. The n-ary polygroupoids are definable in a mild expansion of the language.

Categories

Keywords

Reprint years

DOI

10.1142/s021906131550004x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Failure of n -uniqueness: a family of examples.Elisabetta Pastori & Pablo Spiga - 2011 - Mathematical Logic Quarterly 57 (2):133-148.
Amalgamation properties and finite models in L n -theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.
n-Simple theories.Alexei S. Kolesnikov - 2005 - Annals of Pure and Applied Logic 131 (1-3):227-261.
Generalized amalgamation and n -simplicity.Byunghan Kim, Alexei S. Kolesnikov & Akito Tsuboi - 2008 - Annals of Pure and Applied Logic 155 (2):97-114.
Stable Definability and Generic Relations.Byunghan Kim & Rahim Moosa - 2007 - Journal of Symbolic Logic 72 (4):1163 - 1176.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Stable theories, pseudoplanes and the number of countable models.Anand Pillay - 1989 - Annals of Pure and Applied Logic 43 (2):147-160.
Stability and stable groups in continuous logic.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):1111-1136.
Red Fields.A. Baudisch, A. Martin-Pizarro & M. Ziegler - 2007 - Journal of Symbolic Logic 72 (1):207 - 225.
CM-triviality and generic structures.Ikuo Yoneda - 2003 - Archive for Mathematical Logic 42 (5):423-433.

Analytics

Added to PP
2015-07-11

Downloads
34 (#485,615)

6 months
12 (#243,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Disjoint $n$ -Amalgamation and Pseudofinite Countably Categorical Theories.Alex Kruckman - 2019 - Notre Dame Journal of Formal Logic 60 (1):139-160.
On the n-uniqueness of types in rosy theories.Byunghan Kim - 2016 - Archive for Mathematical Logic 55 (5-6):677-686.

Add more citations

References found in this work

Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
Generalized amalgamation and n -simplicity.Byunghan Kim, Alexei S. Kolesnikov & Akito Tsuboi - 2008 - Annals of Pure and Applied Logic 155 (2):97-114.
Failure of n -uniqueness: a family of examples.Elisabetta Pastori & Pablo Spiga - 2011 - Mathematical Logic Quarterly 57 (2):133-148.

View all 6 references / Add more references