Another extension of Van de Wiele's theorem

DOI10.1016/0168-0072(88)90030-9zbMath0644.03024OpenAlexW1973593708MaRDI QIDQ1102277

Robert S. Lubarsky

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90030-9

zbMATH Keywords

E-recursion theoryPi-1-2-logic

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Higher-type and set recursion theory (03D65)

Related Items (2)

Locally hyperarithmetical induction ⋮ Unnamed Item

Cites Work

• Reflection and forcing in E-recursion theory
• Closing the gap between the continuous functionals and recursion in \(^3E\)
• Effective cofinalities and admissibility in E-recursion
• Σ₁ definitions with parameters
• Π12-logic, Part 1: Dilators
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Another extension of Van de Wiele's theorem