Jump Theorems for REA Operators

DOI10.1002/MALQ.19930390103MaRDI QIDQ4304794zbMATH OpenOpenAlexWikidataFDO

Authors Xiaoding Yi, Alistair H. Lachlan

Publication date 13 January 1997

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19930390103

zbMATH Keywords

Friedberg Jump Theoremhierarchy of sets and operatorsREA hierarchyREA operatorsSacks Jump Theorem

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Hierarchies of computability and definability (03D55)

Recommendations

• Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
• Ershov hierarchy and the T-jump
• scientific article; zbMATH DE number 4004171
• A jump operator for subrecursion theories
• A non-inversion theorem for the jump operator

Cited in

(4)

• A Remark on Pseudo-Jump Operators
• Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
• A characterization of jump operators
• A jump operator for subrecursion theories

This page was built for publication: Jump Theorems for REA Operators

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