Zur Theorie der konstruktiven Wohlordnungen
From MaRDI portal
Publication:2651884
Cites work
- scientific article; zbMATH DE number 3024905 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- On definable sets of positive integers
- On notation for ordinal numbers
- On the Forms of the Predicates in the Theory of Constructive Ordinals
- Recursive Predicates and Quantifiers
- The constructive second number class
Cited in
(20)- Infinite time extensions of Kleene's \({\mathcal O}\)
- Borel ideals vs. Borel sets of countable relations and trees
- Efficient linear orders
- Recursive nets
- Kleene's amazing second recursion theorem
- Recursive well-orderings
- Degrees of Computability
- Recursive and Recursively Enumerable Orders
- Hyperarithmetical Sets
- Kleene’s Amazing Second Recursion Theorem
- On generalized quantifiers in arithmetic
- Number theoretic concepts and recursive well-orderings
- Classes of Polish spaces under effective Borel isomorphism
- Über die Bestimmbarkeit des Verhaltens von Algorithmen
- A complete classification of the Δ₂¹-functions
- A Hierarchy Based on a Type Two Object
- Recursive Functions Defined by Ordinal Recursions
- On a consistency theorem connected with the generalized continuum problem
- Hyper-polynomial hierarchies and the polynomial jump
- Constructivity conditions on immune sets
This page was built for publication: Zur Theorie der konstruktiven Wohlordnungen
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2651884)
