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

@@ label / en / label / en @@
+A Hierarchy Based on a Type Two Object
@@ Property / full work available at URL @@
+https://doi.org/10.2307/1994830
@@ Property / full work available at URL: https://doi.org/10.2307/1994830 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4245721337
@@ Property / OpenAlex ID: W4245721337 / rank @@
+Normal rank
@@ Property / title @@
+A Hierarchy Based on a Type Two Object (English)
@@ Property / title: A Hierarchy Based on a Type Two Object (English) / rank @@
+Normal rank
@@ 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