Limiting theories of substructures
Samuel M. Corson · arXiv (Cornell University) · 2017
We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a new proof that theories like that of infinite sets are not finitely axiomatizable.