A generalized small model property for languages which force the infinity
arXiv:math/0411226
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.
arXiv comment21 pages. to appear on "Le Matematiche"