The consistency problem for NF (Q4156774): Difference between revisions

@@ Property / cites work @@
+A partial model for Quine's “New foundations”
@@ Property / cites work: A partial model for Quine's “New foundations” / rank @@
+Normal rank
@@ Property / cites work @@
+The Axiom of Choice in Quine's New Foundations for Mathematical Logic
+Normal rank
@@ Property / cites work @@
+New foundations and the axiom of counting
@@ Property / cites work: New foundations and the axiom of counting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063410
@@ Property / cites work: Q4063410 / rank @@
+Normal rank
@@ Property / cites work @@
+Sets equipollent to their power set in NF
@@ Property / cites work: Sets equipollent to their power set in NF / rank @@
+Normal rank