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

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

2004-11-10

arxiv.org/abs/math/0411227v2

Mathematics

Logic

22 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-480441