Journal of Symbolic Logic

Random reals, the rainbow Ramsey theorem, and arithmetic conservation

Chris J. Conidis and Theodore A. Slaman

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

We investigate the question “To what extent can random reals be used as a tool to establish number theoretic facts?” Let 2-$RAN$ be the principle that for every real $X$ there is a real $R$ which is 2-random relative to $X$. In Section 2, we observe that the arguments of Csima and Mileti [3] can be implemented in the base theory $RAN_0$ and so $RAN_0 +$ 2-$RAN$ implies the Rainbow Ramsey Theorem. In Section 3, we show that the Rainbow Ramsey Theorem is not conservative over $RAN_0$ for arithmetic sentences. Thus, from the Csima—Mileti fact that the existence of random reals has infinitary-combinatorial consequences we can conclude that 2-$RAN$ has non-trivial arithmetic consequences. In Section 4, we show that 2-$RAN$ is conservative over $RCA_0 + B\Sigma_2$ for $\Pi^1_1$-sentences. Thus, the set of first-order consequences of 2-$RAN$ is strictly stronger than $P^-+I\Sigma_1$ and no stronger than $P^- + B\Sigma_2$.

Article information

Source
J. Symbolic Logic, Volume 78, Issue 1 (2013), 195-206.

Dates
First available in Project Euclid: 23 January 2013

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1358951108

Digital Object Identifier
doi:10.2178/jsl.7801130

Mathematical Reviews number (MathSciNet)
MR3087070

Zentralblatt MATH identifier
1305.03055

Citation

Conidis, Chris J.; Slaman, Theodore A. Random reals, the rainbow Ramsey theorem, and arithmetic conservation. J. Symbolic Logic 78 (2013), no. 1, 195--206. doi:10.2178/jsl.7801130. https://projecteuclid.org/euclid.jsl/1358951108


Export citation