Publication:3964555
From MaRDI portal
zbMath0499.03035MaRDI QIDQ3964555
Publication date: 1982
03F15: Recursive ordinals and ordinal notations
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
Unnamed Item, Locally hyperarithmetical induction, Set recursion and \(\Pi ^ 1_ 2\)-logic, Induktive Definitionen und Dilatoren. (Inductive definitions and dilators), Another extension of Van de Wiele's theorem, Boundedness theorems for dilators and ptykes, Theories and ordinals in proof theory, Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs, Natural well-orderings