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)

Review text

Van de Wiele showed that if a total function F is \(\Sigma_ 1\)-definable uniformly over all admissible sets, then it is actually E-recursive (the converse being easy). He did this by giving a construction of F in \(\Pi\) \(1_ 2\) logic, which is weaker than E-recursion theory, which yields immediately that F is E-recursive. Slaman then proved this theorem using only the constructions of E-recursion theory, and not those of \(\Pi\) \(1_ 2\) logic. Moreover, he generalized it to functions F with a hereditarily countable parameter p, or with an arbitrary parameter if the domain of F is the ordinals. The conclusion of his theorem is that such an F is \(ES_ p\)-recursive: E-recursive where selection from p is allowed also. The current paper continues this cycle by proving Slaman's theorem via \(\Pi\) \(1_ 2\) logic. Moreover, it shows that selection from p is unnecessary: having p as a parameter suffices.

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

• Σ₁ definitions with parameters
• Closing the gap between the continuous functionals and recursion in \(^3E\)
• Effective cofinalities and admissibility in E-recursion
• 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?)
• Reflection and forcing in E-recursion theory
• Π12-logic, Part 1: Dilators

Cited in

(9)

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

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)