The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301): Difference between revisions

@@ Property / OpenAlex ID @@
+W2067028747
@@ Property / OpenAlex ID: W2067028747 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistische Untersuchungen der formalistischen Logik
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Two simple sets that are not positively Borel
@@ Property / cites work: Two simple sets that are not positively Borel / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionistic proof of Kruskal's theorem
@@ Property / cites work: An intuitionistic proof of Kruskal's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325510
@@ Property / cites work: Q4325510 / rank @@
+Normal rank
@@ Property / cites work @@
+Points and Spaces
@@ Property / cites work: Points and Spaces / rank @@
+Normal rank