Back to Search Start Over

Solovay reduction and continuity

Authors :
Kumabe, Masahiro
Miyabe, Kenshi
Mizusawa, Yuki
Suzuki, Toshio
Publication Year :
2019

Abstract

The objective of this study is a better understanding of the relationships between reduction and continuity. Solovay reduction is a variation of Turing reduction based on the distance of two real numbers. We characterize Solovay reduction by the existence of a certain real function that is computable (in the sense of computable analysis) and Lipschitz continuous. We ask whether there exists a reducibility concept that corresponds to H\"older continuity. The answer is affirmative. We introduce quasi Solovay reduction and characterize this new reduction via H\"older continuity. In addition, we separate it from Solovay reduction and Turing reduction and investigate the relationships between complete sets and partial randomness.<br />Comment: 19 pages, 2 figures

Subjects

Subjects :
Mathematics - Logic
03D78, 68Q30

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.1903.08625
Document Type :
Working Paper