Another extension of Van de Wiele's theorem
From MaRDI portal
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
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\)
- Σ1 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
- Σ1 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)