Disjoint $n$-amalgamation and pseudofinite countably categorical theories

Alex Kruckman

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,…