A generalized small model property for languages which force the infinity
Logic
2016-09-07 v2 Combinatorics
Abstract
This paper deals with formulas of set theory which force the infinity. For such formulas, we provide a technique to infer satisfiability from a finite assignment.
Cite
@article{arxiv.math/0411226,
title = {A generalized small model property for languages which force the infinity},
author = {Pietro Ursino},
journal= {arXiv preprint arXiv:math/0411226},
year = {2016}
}
Comments
21 pages. to appear on "Le Matematiche"