EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER

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)

zbMATH Keywords

continuous functionsuncountable structuresgeneric Muchnik reducibilityordered field of the realsrunning jump

Mathematics Subject Classification ID

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 (2)

Complexity profiles and generic Muchnik reducibility ⋮ Relative randomness and real closed fields

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER