Limiting theories of substructures
Logic
2020-07-21 v2
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.
Cite
@article{arxiv.1707.08241,
title = {Limiting theories of substructures},
author = {Samuel M. Corson},
journal= {arXiv preprint arXiv:1707.08241},
year = {2020}
}