Inductively defined sets of reals (Q4093430): Difference between revisions

@@ Property / cites work @@
+Cores of Π<sub>1</sub><sup>1</sup> sets of reals
@@ Property / cites work: Cores of Π<sub>1</sub><sup>1</sup> sets of reals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4770391
@@ Property / cites work: Q4770391 / rank @@
+Normal rank
@@ Property / cites work @@
+The boundedness principle in ordinal recursion
@@ Property / cites work: The boundedness principle in ordinal recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric inductive definitions and recursive operators over the continuum
+Normal rank
@@ Property / cites work @@
+Hierarchies based on objects of finite                         type<sup>1</sup>
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642549
@@ Property / cites work: Q5642549 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types II
+Normal rank
@@ Property / cites work @@
+Q5665177
@@ Property / cites work: Q5665177 / rank @@
+Normal rank