scientific article; zbMATH DE number 3786765

MaRDI QIDQ3964555zbMATH OpenFDO

Authors Jacques Van de Wiele

Publication date 1982

zbMATH Keywords

dominationinductive logicadmissible structurerecursive dilatorset-recursive

Mathematics Subject Classification ID

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)