Σ1 definitions with parameters

DOI10.2307/2274069zbMath0629.03022OpenAlexW4249197406MaRDI QIDQ3765757

Theodore A. Slaman

Publication date: 1986

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274069

zbMATH Keywords

admissible set\(ES_ p\)-recursivityE-recursivityNormann schemes

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (3)

Another extension of Van de Wiele's theorem ⋮ Locally hyperarithmetical induction ⋮ Unnamed Item

This page was built for publication: Σ₁ definitions with parameters