Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate
Logic
2013-06-28 v3 Combinatorics
Abstract
In this paper we solve the satisfiability problem of an extended fragment of set computable theory which "forces the infinity" by a fruitful use of the witness small model property and the theory of formative processes.
Keywords
Cite
@article{arxiv.math/0411227,
title = {Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate},
author = {Domenico Cantone and Pietro Ursino},
journal= {arXiv preprint arXiv:math/0411227},
year = {2013}
}
Comments
this paper has been withdrawn since it has been completely revised