首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Jump Theorems for REA Operators
Authors:Alistair H Lachlan  Xiaoding Yi
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.
Keywords:Jump theorem  REA operator  REA hierarchy
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号