Approximation by simple structures

RESUMO

In her graduate thesis, Gwyneth Harrison-Shermoen developed an abstract framework for approximating structures of a given theory, which generalized the notion of smoothly approximable structures. At the time it was unclear how broadly the framework applied due to a lack of examples. In this paper we will show that with slight modification to the framework, several well-understood $\mathrm{NSOP}_1$ theories are in fact approximable by simple structures. We discuss certain structural properties of the limit structure that can be obtained from the approximation and introduce a notion of limit dimension as a candidate for recovering Kim-independence in the limit structure. We also provide some examples of structures that are not approximable by structures of finite Morley rank.