THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY (Q5323793): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Points and Spaces
@@ Property / cites work: Points and Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:5323793