scientific article; zbMATH DE number 3786765
From MaRDI portal
Publication:3964555
zbMATH Open0499.03035MaRDI QIDQ3964555FDOQ3964555
Authors: Jacques Van de Wiele 
Publication date: 1982
Title of this publication is not available (Why is that?)
Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive ordinals and ordinal notations (03F15)
Cited In (9)
- Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)
- Boundedness theorems for dilators and ptykes
- Feedback computability on Cantor space
- Another extension of Van de Wiele's theorem
- Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs
- Theories and ordinals in proof theory
- Natural well-orderings
- Locally hyperarithmetical induction
- Set recursion and \(\Pi ^ 1_ 2\)-logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3964555)
