Jump Theorems for REA Operators

DOI10.1002/MALQ.19930390103zbMath0803.03026OpenAlexW2011208829WikidataQ126258352 ScholiaQ126258352MaRDI QIDQ4304794

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

REA hierarchyFriedberg Jump Theoremhierarchy of sets and operatorsREA operatorsSacks Jump Theorem

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item

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