Beneš's partial model of NF: an old result revisited (Q740207): 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 @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4709702
@@ Property / cites work: Q4709702 / 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 @@
+Stratified languages
@@ Property / cites work: Stratified languages / 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 @@
+On the consistency of Quine's <i>New foundations for mathematical logic</i>
+Normal rank