The consistency strength of NFUB

Details The consistency strength of NFUB The consistency strength of NFUB

1997-07-30

arxiv.org/abs/math/9707207v1

Mathematics

Logic

Scientific paper

We show that the consistency strength of the system NFUB, a variant of
Quine's "New Foundations" recently introduced by Randall Holmes, is precisely
that of [ZFC - Power Set] + "There is a weakly compact cardinal''.
This is a preliminary draft of the paper. Nevertheless, it contains a
complete proof.

Affiliated with

Also associated with

No associations

Rating

The consistency strength of NFUB 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 The consistency strength of NFUB, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The consistency strength of NFUB will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-680237