Any FIP real computes a 1-generic

DOI10.1090/TRAN/6997zbMath1423.03142arXiv1502.03785OpenAlexW2963358042MaRDI QIDQ5347283

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)

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

Mathematics Subject Classification ID

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

Related Items (2)

Refining the taming of the reverse mathematics zoo ⋮ Dominating the Erdős-Moser theorem in reverse mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• On the strength of the finite intersection principle
• Reverse mathematics and properties of finite character
• The atomic model theorem and type omitting
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction
• Bounding prime models
• The finite intersection principle and genericity

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