The consistency strength of NFUB
| dc.creator | Solovay, Robert M. | |
| dc.date | 1997-07-30 | |
| dc.date.accessioned | 2026-07-07T09:15:47Z | |
| dc.date.available | 2026-07-07T09:15:47Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/math/9707207 | |
| dc.identifier | http://arxiv.org/abs/math/9707207 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/153137 | |
| dc.subject | Logic | |
| dc.title | The consistency strength of NFUB | |
| dc.type | text |