Does Mathematics Need New Axioms? (Q5890203): Difference between revisions

@@ Property / cites work @@
+Q3960633
@@ Property / cites work: Q3960633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866261
@@ Property / cites work: Q3866261 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367597
@@ Property / cites work: Q4367597 / rank @@
+Normal rank
@@ Property / cites work @@
+Does Mathematics Need New Axioms?
@@ Property / cites work: Does Mathematics Need New Axioms? / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems
+Normal rank
@@ Property / cites work @@
+Q4117833
@@ Property / cites work: Q4117833 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank
@@ Property / cites work @@
+On the necessary use of abstract set theory
@@ Property / cites work: On the necessary use of abstract set theory / rank @@
+Normal rank
@@ Property / cites work @@
+What is Cantor's Continuum Problem?
@@ Property / cites work: What is Cantor's Continuum Problem? / rank @@
+Normal rank
@@ Property / cites work @@
+Finite functions and the necessary use of large cardinals
+Normal rank
@@ Property / cites work @@
+Q4498011
@@ Property / cites work: Q4498011 / rank @@
+Normal rank
@@ Property / cites work @@
+Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
+Normal rank
@@ Property / cites work @@
+Q4820387
@@ Property / cites work: Q4820387 / rank @@
+Normal rank