Another extension of Van de Wiele's theorem

DOI10.1016/0168-0072(88)90030-9MaRDI QIDQ1102277zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Σ₁ definitions with parameters
• Effective cofinalities and admissibility in E-recursion
• \(E\)-recursion 2012
• The definability of E(α)
• The limits of E-recursive enumerability

Cites work

• scientific article; zbMATH DE number 3809540 (Why is no real title available?)
• scientific article; zbMATH DE number 3786765 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• Σ₁ definitions with parameters
• Closing the gap between the continuous functionals and recursion in \(^3E\)
• Effective cofinalities and admissibility in E-recursion
• Reflection and forcing in E-recursion theory
• Π12-logic, Part 1: Dilators

Cited in

(9)

• scientific article; zbMATH DE number 4031653 (Why is no real title available?)
• Feedback computability on Cantor space
• A further application of the deLeeuw-Glickstein theorem
• Effective cofinalities and admissibility in E-recursion
• An extension of Widder's theorem
• Σ₁ definitions with parameters
• scientific article; zbMATH DE number 7039406 (Why is no real title available?)
• Locally hyperarithmetical induction
• An Extension of Van Der Mond's Theorem and Some Applications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102277)