Any FIP real computes a 1-generic

DOI10.1090/TRAN/6997zbMATH Open1423.03142arXiv1502.03785OpenAlexW2963358042MaRDI QIDQ5347283FDOQ5347283

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

Publication date: 23 May 2017

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

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.

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

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

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)

Cites Work

• Subsystems of second order arithmetic
• Title not available (Why is that?)
• On the strength of the finite intersection principle
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction
• The atomic model theorem and type omitting
• Reverse mathematics and properties of finite character
• Bounding prime models
• The finite intersection principle and genericity

Cited In (3)

• Refining the taming of the reverse mathematics zoo
• Dominating the Erdős-Moser theorem in reverse mathematics
• Every 1-generic computes a properly 1-generic

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)