A Hierarchy Based on a Type Two Object (Q5585408): Difference between revisions

@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Zur Theorie der konstruktiven Wohlordnungen
@@ Property / cites work: Zur Theorie der konstruktiven Wohlordnungen / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive transfinite number classes
@@ Property / cites work: Constructive transfinite number classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518360
@@ Property / cites work: Q5518360 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank