Another extension of Van de Wiele's theorem

DOI10.1016/0168-0072(88)90030-9zbMATH Open0644.03024OpenAlexW1973593708MaRDI QIDQ1102277FDOQ1102277

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

Recommendations

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

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)

Cites Work

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

Cited In (9)

• Title not available (Why is that?)
• 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
• Locally hyperarithmetical induction
• Title not available (Why is that?)
• 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)