EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER
From MaRDI portal
Publication:6095975
DOI10.1017/jsl.2022.66MaRDI QIDQ6095975
Mariya Ivanova Soskova, Joseph S. Miller, Uri Andrews, Rutger Kuyper, Julia F. Knight
Publication date: 11 September 2023
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
continuous functionsuncountable structuresgeneric Muchnik reducibilityordered field of the realsrunning jump
Other degrees and reducibilities in computability and recursion theory (03D30) Theory of numerations, effectively presented structures (03D45) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (1)
Cites Work
- Generic Muchnik reducibility and presentations of fields
- Fixed points for the jump operator
- Harvey Friedman's research on the foundations of mathematics
- On zeros of Martin-Löf random Brownian motion
- COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS
- COMPARING TWO VERSIONS OF THE REALS
- Borel structures and Borel theories
- Degrees of Recursively Saturated Models
- Notes on the Jump of a Structure
- A Jump Inversion Theorem for the Degree Spectra
- A fixed point for the jump operator on structures
- A Jump Inversion Theorem for the Degree Spectra
- Abstract First Order Computability. I
- ∏ 0 1 Classes and Degrees of Theories
- COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER
