scientific article

zbMath0499.03035MaRDI QIDQ3964555

Jacques Van de Wiele

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inductive logicdominationadmissible structurerecursive dilatorset-recursive

Mathematics Subject Classification ID

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

Related Items

Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) ⋮ Another extension of Van de Wiele's theorem ⋮ Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs ⋮ Locally hyperarithmetical induction ⋮ Natural well-orderings ⋮ Boundedness theorems for dilators and ptykes ⋮ Theories and ordinals in proof theory ⋮ Unnamed Item ⋮ Set recursion and \(\Pi ^ 1_ 2\)-logic