A generalized small model property for languages which force the infinity
逻辑
2016-09-07 v2 组合数学
摘要
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.
引用
@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}
}
备注
21 pages. to appear on "Le Matematiche"