Symmetry as a criterion for comprehension motivating Quine's `New Foundations' (Q2426734): Difference between revisions

@@ Property / cites work @@
+A system of axiomatic set theory - Part VII
@@ Property / cites work: A system of axiomatic set theory - Part VII / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of an impredicative subsystem of Quine's NF
+Normal rank
@@ Property / cites work @@
+Q4656801
@@ Property / cites work: Q4656801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5607217
@@ Property / cites work: Q5607217 / rank @@
+Normal rank
@@ Property / cites work @@
+A set of axioms for logic
@@ Property / cites work: A set of axioms for logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289237
@@ Property / cites work: Q4289237 / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of a slight (?) modification of Quine's 'New Foundations'
+Normal rank
@@ Property / cites work @@
+New Foundations for Mathematical Logic
@@ Property / cites work: New Foundations for Mathematical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3264229
@@ Property / cites work: Q3264229 / rank @@
+Normal rank
@@ Property / cites work @@
+The Axiom of Choice in Quine's New Foundations for Mathematical Logic
+Normal rank
@@ Property / cites work @@
+Q5613902
@@ Property / cites work: Q5613902 / rank @@
+Normal rank