EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER

DOI10.1017/JSL.2022.66MaRDI QIDQ6095975zbMATH OpenFDO

Authors Uri Andrews, J. F. Knight, Rutger Kuyper, Joseph S. Miller, Mariya I. Soskova

Publication date 11 September 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/JSL.2022.66

zbMATH Keywords

continuous functionsgeneric Muchnik reducibilityordered field of the realsrunning jumpuncountable structures

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)

Cites work

• A certain reducibility on admissible sets
• A fixed point for the jump operator on structures
• A Jump Inversion Theorem for the Degree Spectra
• A Jump Inversion Theorem for the Degree Spectra
• Abstract First Order Computability. I
• Borel structures and Borel theories
• Comparing two versions of the reals
• Computable structures in generic extensions
• Computing strength of structures related to the field of real numbers
• Degrees of Recursively Saturated Models
• Fixed points for the jump operator
• Generic Muchnik reducibility and presentations of fields
• Harvey Friedman's research on the foundations of mathematics
• scientific article; zbMATH DE number 6536309 (Why is no real title available?)
• scientific article; zbMATH DE number 3941494 (Why is no real title available?)
• scientific article; zbMATH DE number 218591 (Why is no real title available?)
• scientific article; zbMATH DE number 3275577 (Why is no real title available?)
• Notes on the Jump of a Structure
• On zeros of Martin-Löf random Brownian motion
• ∏ 0 1 Classes and Degrees of Theories

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6095975)