Strong axioms of infinity in <i>NFU</i> (Q2732269): Difference between revisions

@@ Property / cites work @@
+Q3764099
@@ Property / cites work: Q3764099 / rank @@
+Normal rank
@@ Property / cites work @@
+The Axiom of Choice in Quine's New Foundations for Mathematical Logic
+Normal rank
@@ Property / cites work @@
+Stratified and positive comprehension seen as superclass rules over ordinary set theory
+Normal rank
@@ Property / cites work @@
+Q4850035
@@ Property / cites work: Q4850035 / rank @@
+Normal rank
@@ Property / cites work @@
+New Foundations for Mathematical Logic
@@ Property / cites work: New Foundations for Mathematical Logic / rank @@
+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 @@
+Cofinal Indiscernibles and some Applications to New Foundations
+Normal rank
@@ Property / cites work @@
+Q4956001
@@ Property / cites work: Q4956001 / rank @@
+Normal rank