Jump Theorems for REA Operators
โ
Alistair H. Lachlan; Xiaoding Yi
๐
Article
๐
1993
๐
John Wiley and Sons
๐
English
โ 269 KB
## Abstract In [2], Jockusch and Shore have introduced a new hierarchy of sets and operators called the REA hierarchy. In this note we prove analogues of the Friedberg Jump Theorem and the Sacks Jump Theorem for many REA operators. MSC: 03D25, 03D55.