Hyperarithmetical Sets (Q3305318): Difference between revisions

@@ Property / cites work @@
+Separation principles in the hierarchies of classical and effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+A note on the hyperarithmetical hierarchy
@@ Property / cites work: A note on the hyperarithmetical hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of the notions of forcing and generic sets
+Normal rank
@@ Property / cites work @@
+Q5607987
@@ Property / cites work: Q5607987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537368
@@ Property / cites work: Q5537368 / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Predicates and Quantifiers
@@ Property / cites work: Recursive Predicates and Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5796642
@@ Property / cites work: Q5796642 / 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 @@
+Q3256314
@@ Property / cites work: Q3256314 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Constructive Versions of Ordinal Number Classes
@@ Property / cites work: Constructive Versions of Ordinal Number Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596755
@@ Property / cites work: Q5596755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3843617
@@ Property / cites work: Q3843617 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5783653
@@ Property / cites work: Q5783653 / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Theorie der konstruktiven Wohlordnungen
@@ Property / cites work: Zur Theorie der konstruktiven Wohlordnungen / rank @@
+Normal rank
@@ Property / cites work @@
+Many-one degrees of the predicates \(H_ a(x)\)
@@ Property / cites work: Many-one degrees of the predicates \(H_ a(x)\) / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract First Order Computability. I
@@ Property / cites work: Abstract First Order Computability. I / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical descriptive set theory as a refinement of effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Kleene's Amazing Second Recursion Theorem
@@ Property / cites work: Kleene's Amazing Second Recursion Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On definable sets of positive integers
@@ Property / cites work: On definable sets of positive integers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5810538
@@ Property / cites work: Q5810538 / rank @@
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+Many-One Reducibility Within the Turning Degrees of the Hyperarithmetic Sets H a (x)
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperarithmetical quantifiers
@@ Property / cites work: Hyperarithmetical quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5724782
@@ Property / cites work: Q5724782 / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing with tagged trees
@@ Property / cites work: Forcing with tagged trees / rank @@
+Normal rank