$\mathbb{Q}$ACFA

Alice Medvedev

We show that many nice properties of a theory $T$ follow from the corresponding properties of its reducts to finite subsignatures. If $\{T_i{\}}_{i\in I}$ is a directed family of…