Submission date: 25 July 2017

Abstract:

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.

Mathematics Subject Classification: 03C07, 03C13

Keywords and phrases:

Full text arXiv 1707.08241: pdf, ps.