Jump Theorems for REA Operators
作者:
Alistair H. Lachlan,
Xiaoding Yi,
期刊:
Mathematical Logic Quarterly
(WILEY Available online 1993)
卷期:
Volume 39,
issue 1
页码: 1-6
ISSN:0942-5616
年代: 1993
DOI:10.1002/malq.19930390103
出版商: WILEY‐VCH Verlag Berlin GmbH
关键词: Jump theorem;REA operator;REA hierarchy
数据来源: WILEY
摘要:
AbstractIn [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.
点击下载:
PDF
(268KB)
返 回