Any FIP real computes a 1-generic

DOI10.1090/TRAN/6997MaRDI QIDQ5347283zbMATH OpenOpenAlexFDO

Authors Peter A. Cholak, Greg Igusa, Rodney G. Downey

Publication date 23 May 2017

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1502.03785

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Foundations of classical theories (including reverse mathematics) (03B30) Other Turing degree structures (03D28) Axiom of choice and related propositions (03E25) Second- and higher-order arithmetic and fragments (03F35)

Abstract: We construct a computable sequence of computable reals $langle{X}_{i}angle$ such that any real that can compute a subsequence that is maximal with respect to the finite intersection property can also compute a Cohen 1-generic. This is extended to establish the same result with 2IP in place of FIP.

Recommendations

• The finite intersection principle and genericity
• Every 1-generic computes a properly 1-generic
• Recursive in a generic real
• Generics for computable Mathias forcing
• Effective genericity and differentiability

Cites work

• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• Bounding prime models
• On the strength of the finite intersection principle
• Reverse mathematics and properties of finite character
• Subsystems of second order arithmetic
• The atomic model theorem and type omitting
• The finite intersection principle and genericity
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction

Cited in

(4)

• The finite intersection principle and genericity
• Refining the taming of the reverse mathematics zoo
• Every 1-generic computes a properly 1-generic
• Dominating the Erdős-Moser theorem in reverse mathematics

This page was built for publication: Any FIP real computes a 1-generic

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