Morse set theory as a foundation for constructive mathematics (Q2079874): Difference between revisions

@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+The Continuum Hypothesis Implies Excluded Middle
@@ Property / cites work: The Continuum Hypothesis Implies Excluded Middle / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction. 3rd revised ed
@@ Property / cites work: Intuitionism. An introduction. 3rd revised ed / rank @@
+Normal rank
@@ Property / cites work @@
+Choice Implies Excluded Middle
@@ Property / cites work: Choice Implies Excluded Middle / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5569442
@@ Property / cites work: Q5569442 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214891
@@ Property / cites work: Q3214891 / rank @@
+Normal rank
@@ Property / cites work @@
+The constructive theory of countable abelian p-groups
+Normal rank
@@ Property / cites work @@
+Q4214829
@@ Property / cites work: Q4214829 / rank @@
+Normal rank