A complete classification of the Δ₂¹-functions (Q5551156): Difference between revisions

@@ Property / cites work @@
+Some consequences of the axiom of constructibility
+Normal rank
@@ Property / cites work @@
+A Note on Function Quantification
@@ Property / cites work: A Note on Function Quantification / rank @@
+Normal rank
@@ Property / cites work @@
+On a problem of Kleene’s
@@ Property / cites work: On a problem of Kleene’s / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Predicates and Function Quantifiers
@@ Property / cites work: Arithmetical Predicates and Function Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Memoir on the Analytical Operations and Projective Sets (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 @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Q3285730
@@ Property / cites work: Q3285730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5822055
@@ Property / cites work: Q5822055 / 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
@@ Property / cites work @@
+Measure-theoretic construction of incomparable hyperdegrees
+Normal rank
@@ Property / cites work @@
+Q3276699
@@ Property / cites work: Q3276699 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative proof of a theorem of Kleene
@@ Property / cites work: Alternative proof of a theorem of Kleene / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5551156