Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories. (English) Zbl 1529.03200
Summary: 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 article, 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ïssé classes, to show that certain nonsimple theories are pseudofinite. As case studies, we examine two generic theories of equivalence relations, \(T_{\mathrm{feq}}^\ast\) and \(T_{\mathrm{CPZ}}\), and show that both are pseudofinite. The theories \(T_{\mathrm{feq}}^\ast\) and \(T_{\mathrm{CPZ}}\) are not simple, but they have \(\mathrm{NSOP}_1\). This is established here for \(T_{\mathrm{CPZ}}\) for the first time.
MSC:
03C45 | Classification theory, stability, and related concepts in model theory |
03C13 | Model theory of finite structures |
03C35 | Categoricity and completeness of theories |