Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate

Domenico Cantone, Pietro Ursino

Published: 2004-11-10 | Updated: 2013-06-27

Comments: this paper has been withdrawn since it has been completely revised

Note:

DOI: 10.1016/j.ic.2014.02.005

# BIB PDF ARXIV

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.

arXiv++ Combinatorics

Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate

Abstract

BibTeX