scientific article; zbMATH DE number 3786765

MaRDI QIDQ3964555zbMATH OpenFDO

Authors Jacques Van de Wiele

Publication date 1982

zbMATH Keywords

admissible structuredominationinductive logicrecursive dilatorset-recursive

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive ordinals and ordinal notations (03F15)

Cited in

(10)

• 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
• Feedback computability on Cantor space
• Locally hyperarithmetical induction
• The total set-recursive functions of \textsf{KPI} and related systems

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)