AGAINST CUMULATIVE TYPE THEORY (Q5046602): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q2733971
@@ Property / cites work: Q2733971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754660
@@ Property / cites work: Q2754660 / rank @@
+Normal rank
@@ Property / cites work @@
+Philosophy and Model Theory
@@ Property / cites work: Philosophy and Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative Higher-Order Logic as a Foundation for Set Theory
+Normal rank
@@ Property / cites work @@
+The Many and the One
@@ Property / cites work: The Many and the One / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptions of Set and the Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Believing the axioms. I
@@ Property / cites work: Believing the axioms. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5496287
@@ Property / cites work: Q5496287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4820366
@@ Property / cites work: Q4820366 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominalism Through De‐Nominalization
@@ Property / cites work: Nominalism Through De‐Nominalization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081251
@@ Property / cites work: Q4081251 / rank @@
+Normal rank
@@ Property / cites work @@
+Godel's Unpublished Papers on Foundations of Mathematics†
+Normal rank
@@ Property / cites work @@
+Properties and Propositions
@@ Property / cites work: Properties and Propositions / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logic as Metaphysics
@@ Property / cites work: Modal Logic as Metaphysics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3542131
@@ Property / cites work: Q3542131 / rank @@
+Normal rank