Mathematics – Logic
Scientific paper
1997-07-30
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.
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-680237