Disjoint n-amalgamation and pseudofinite countably categorical theories

DOI10.1215/00294527-2018-0025MaRDI QIDQ6266367arXivFDO

Authors Alex Kruckman

Publication date 13 October 2015

Published in arXiv

Full work available at URL https://doi.org/10.1215/00294527-2018-0025

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Categoricity and completeness of theories (03C35) Classification theory, stability, and related concepts in model theory (03C45)

arXiv classification

math.LO

Abstract: Disjoint $n$-amalgamation is a condition on a complete first-order theory specifying that certain locally consistent families of types are also globally consistent. In this paper, we show that if a countably categorical theory $T$ admits an expansion with disjoint $n$-amalgamation for all $n$, then $T$ is pseudofinite. All theories which admit an expansion with disjoint $n$-amalgamation for all $n$ are simple, but the method can be extended, using filtrations of Fra"iss'e classes, to show that certain non-simple theories are pseudofinite. As case studies, we examine two generic theories of equivalence relations, $T_{extfeq}^{\ast }$ and $T_{extCPZ}$, and show that both are pseudofinite. The theories $T_{extfeq}^{\ast }$ and $T_{extCPZ}$ are not simple, but they are NSOP${}_1$. This is established here for $T_{extCPZ}$ for the first time.

This page was built for publication: Disjoint $n$-amalgamation and pseudofinite countably categorical theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6266367)