Showing 1–16 of 16 results for author: Slaman, T A

Effective Randomness for Continuous Measures

Authors: Jan Reimann, Theodore A. Slaman

Abstract: We investigate which infinite binary sequences (reals) are effectively random with respect to some continuous (i.e., non-atomic) probability measure. We prove that for every n, all but countably many reals are n-random for such a measure, where n indicates the arithmetical complexity of the Martin-Löf tests allowed. The proof is based on a Borel determinacy argument and presupposes the existence o… ▽ More We investigate which infinite binary sequences (reals) are effectively random with respect to some continuous (i.e., non-atomic) probability measure. We prove that for every n, all but countably many reals are n-random for such a measure, where n indicates the arithmetical complexity of the Martin-Löf tests allowed. The proof is based on a Borel determinacy argument and presupposes the existence of infinitely many iterates of the power set of the natural numbers. In the second part of the paper we present a metamathematical analysis showing that this assumption is indeed necessary. More precisely, there exists a computable function G such that, for any n, the statement `All but countably many reals are G(n)-random with respect to a continuous probability measure' cannot be proved in $ZFC^-_n$. Here $ZFC^-_n$ stands for Zermelo-Fraenkel set theory with the Axiom of Choice, where the Power Set Axiom is replaced by the existence of n-many iterates of the power set of the natural numbers. The proof of the latter fact rests on a very general obstruction to randomness, namely the presence of an internal definability structure. △ Less

Submitted 4 April, 2021; v1 submitted 29 August, 2018; originally announced August 2018.

MSC Class: 03D32; 03E45

The strength of Ramsey's theorem for pairs and arbitrarily many colors

Authors: Theodore A. Slaman, Keita Yokoyama

Abstract: In this paper, we show that $\mathrm{RT}^{2}+\mathsf{WKL}_0$ is a $Π^{1}_{1}$-conservative extension of $\mathrm{B}Σ^0_3$. In this paper, we show that $\mathrm{RT}^{2}+\mathsf{WKL}_0$ is a $Π^{1}_{1}$-conservative extension of $\mathrm{B}Σ^0_3$. △ Less

Submitted 5 July, 2018; v1 submitted 23 November, 2017; originally announced November 2017.

Comments: 9 pages

MSC Class: Primary 03B30; 03F35; 05D10; Secondary 03H15; 03C62; 03D80

On the existence of a strong minimal pair

Authors: George Barmpalias, Mingzhong Cai, Steffen Lempp, Theodore A. Slaman

Abstract: We show that there is a strong minimal pair in the computably enumerable Turing degrees. We show that there is a strong minimal pair in the computably enumerable Turing degrees. △ Less

Submitted 11 October, 2016; originally announced October 2016.

Irrationality Exponent, Hausdorff Dimension and Effectivization

Authors: Verónica Becher, Jan Reimann, Theodore A. Slaman

Abstract: We generalize the classical theorem by Jarnik and Besicovitch on the irrationality exponents of real numbers and Hausdorff dimension. Let a be any real number greater than or equal to 2 and let b be any non-negative real less than or equal to 2/a. We show that there is a Cantor-like set with Hausdorff dimension equal to b such that, with respect to its uniform measure, almost all real numbers have… ▽ More We generalize the classical theorem by Jarnik and Besicovitch on the irrationality exponents of real numbers and Hausdorff dimension. Let a be any real number greater than or equal to 2 and let b be any non-negative real less than or equal to 2/a. We show that there is a Cantor-like set with Hausdorff dimension equal to b such that, with respect to its uniform measure, almost all real numbers have irrationality exponent equal to a. We give an analogous result relating the irrationality exponent and the effective Hausdorff dimension of individual real numbers. We prove that there is a Cantor-like set such that, with respect to its uniform measure, almost all elements in the set have effective Hausdorff dimension equal to b and irrationality exponent equal to a. In each case, we obtain the desired set as a distinguished path in a tree of Cantor sets. △ Less

Submitted 6 September, 2017; v1 submitted 2 January, 2016; originally announced January 2016.

Comments: 20 pages

MSC Class: 11J83 (Primary) 03D32 (Secondary)

The Irrationality Exponents of Computable Numbers

Authors: Verónica Becher, Yann Bugeaud, Theodore A. Slaman

Abstract: We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers whose irrationality exponent is not computable. We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers whose irrationality exponent is not computable. △ Less

Submitted 3 October, 2014; originally announced October 2014.

The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs

Authors: Denis R. Hirschfeldt, Carl G. Jockusch, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman

Abstract: We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT$^2_2$ implies DNR over RCA$_0$ but COH does not, and answer a question of Mileti by showing that every computable stable $2$-coloring of pairs has an incomplete $Δ^0_2$ infinite homogeneous set. We also give some extensions of t… ▽ More We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT$^2_2$ implies DNR over RCA$_0$ but COH does not, and answer a question of Mileti by showing that every computable stable $2$-coloring of pairs has an incomplete $Δ^0_2$ infinite homogeneous set. We also give some extensions of the latter result, and relate it to potential approaches to showing that SRT$^2_2$ does not imply RT$^2_2$. △ Less

Submitted 12 August, 2014; originally announced August 2014.

MSC Class: 03D

Journal ref: Computational Prospects of Infinity. Part II: Presented Talks, Lecture Notes Series, Institute of Mathematical Sciences, National University of Singapore, vol. 15, World Scientific Publishing, Hackensack, NJ, 2008, pp. 143--162

Comparing DNR and WWKL

Authors: Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman

Abstract: In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL$_0$ (weak weak König's Lemma). In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL$_0$ (weak weak König's Lemma). △ Less

Submitted 10 August, 2014; originally announced August 2014.

MSC Class: 03D

Journal ref: Journal of Symbolic Logic 69 (2004), no. 4, 1089--1104

Normal Numbers and the Borel Hierarchy

Authors: Verónica Becher, Pablo Ariel Heiber, Theodore A. Slaman

Abstract: We show that the set of absolutely normal numbers is $\mathbf Π^0_3$-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is $Π^0_3$-complete in the effective Borel hierarchy. We show that the set of absolutely normal numbers is $\mathbf Π^0_3$-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is $Π^0_3$-complete in the effective Borel hierarchy. △ Less

Submitted 1 November, 2013; originally announced November 2013.

On the Normality of Numbers to Different Bases

Authors: Verónica Becher, Theodore A. Slaman

Abstract: We prove independence of normality to different bases We show that the set of real numbers that are normal to some base is Sigma^0_4 complete in the Borel hierarchy of subsets of real numbers. This was an open problem, initiated by Alexander Kechris, and conjectured by Ditzen 20 years ago. We prove independence of normality to different bases We show that the set of real numbers that are normal to some base is Sigma^0_4 complete in the Borel hierarchy of subsets of real numbers. This was an open problem, initiated by Alexander Kechris, and conjectured by Ditzen 20 years ago. △ Less

Submitted 1 November, 2013; originally announced November 2013.

On Simply Normal Numbers to Different Bases

Authors: Verónica Becher, Yann Bugeaud, Theodore A. Slaman

Abstract: Let s be an integer greater than or equal to 2. A real number is simply normal to base s if in its base-s expansion every digit 0, 1, ..., s-1 occurs with the same frequency 1/s. Let X be the set of positive integers that are not perfect powers, hence X is the set {2,3, 5,6,7,10,11,...} . Let M be a function from X to sets of positive integers such that, for each s in X, if m is in M(s) then each… ▽ More Let s be an integer greater than or equal to 2. A real number is simply normal to base s if in its base-s expansion every digit 0, 1, ..., s-1 occurs with the same frequency 1/s. Let X be the set of positive integers that are not perfect powers, hence X is the set {2,3, 5,6,7,10,11,...} . Let M be a function from X to sets of positive integers such that, for each s in X, if m is in M(s) then each divisor of m is in M(s) and if M(s) is infinite then it is equal to the set of all positive integers. These conditions on M are necessary for there to be a real number which is simply normal to exactly the bases s^m such that s is in X and m is in M(s). We show these conditions are also sufficient and further establish that the set of real numbers that satisfy them has full Hausdorff dimension. This extends a result of W. M. Schmidt (1961/1962) on normal numbers to different bases. △ Less

Submitted 1 November, 2013; originally announced November 2013.

K-trivials are NCR

Authors: Antonio Montalban, Theodore A. Slaman

Abstract: We show that for every K-trivial real X, there is no representation of a continuous probability measure m such that X is 1-random relative to m. We show that for every K-trivial real X, there is no representation of a continuous probability measure m such that X is 1-random relative to m. △ Less

Submitted 8 December, 2008; originally announced December 2008.

MSC Class: 03D28; 68Q30

Measures and their random reals

Authors: Jan Reimann, Theodore A. Slaman

Abstract: We study the randomness properties of reals with respect to arbitrary probability measures on Cantor space. We show that every non-computable real is non-trivially random with respect to some measure. The probability measures constructed in the proof may have atoms. If one rules out the existence of atoms, i.e. considers only continuous measures, it turns out that every non-hyperarithmetical real… ▽ More We study the randomness properties of reals with respect to arbitrary probability measures on Cantor space. We show that every non-computable real is non-trivially random with respect to some measure. The probability measures constructed in the proof may have atoms. If one rules out the existence of atoms, i.e. considers only continuous measures, it turns out that every non-hyperarithmetical real is random for a continuous measure. On the other hand, examples of reals not random for any continuous measure can be found throughout the hyperarithmetical Turing degrees. △ Less

Submitted 14 May, 2013; v1 submitted 19 February, 2008; originally announced February 2008.

MSC Class: 03D28; 68Q30

Low upper bounds of ideals

Authors: Antonin Kucera, Theodore A. Slaman

Abstract: We show that there is a low T-upper bound for the class of K-trivial sets, namely those which are weak from the point of view of algorithmic randomness. This result is a special case of a more general characterization of ideals in the T-degrees below 0' for which there is a low T-upper bound. We show that there is a low T-upper bound for the class of K-trivial sets, namely those which are weak from the point of view of algorithmic randomness. This result is a special case of a more general characterization of ideals in the T-degrees below 0' for which there is a low T-upper bound. △ Less

Submitted 3 February, 2009; v1 submitted 28 August, 2007; originally announced August 2007.

Comments: The second version repairs the details of one argument and makes other minor corrections

MSC Class: 03D15; 68Q30

The complexity of the index sets of $\aleph_0$-categorical theories and of Ehrenfeucht theories

Authors: Steffen Lempp, Theodore A. Slaman

Abstract: We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $Π^0_3$-complete; and the property of being an Ehrenfeucht theory $Π^1_1$-complete. We also show that the property of having continuum many models is $Σ^1_1$-hard. Finally, as a corollary, we note that the properties of ha… ▽ More We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $Π^0_3$-complete; and the property of being an Ehrenfeucht theory $Π^1_1$-complete. We also show that the property of having continuum many models is $Σ^1_1$-hard. Finally, as a corollary, we note that the properties of having only decidable models, and of having only computable models, are both $Π^1_1$-complete. △ Less

Submitted 26 October, 2006; originally announced October 2006.

MSC Class: 03D80; 03D55

Turing Incomparability in Scott Sets

Authors: Antonin Kucera, Theodore A. Slaman

Abstract: For every Scott set F and every nonrecursive set X in F, there is a Y in F such that X and Y are Turing incomparable. For every Scott set F and every nonrecursive set X in F, there is a Y in F such that X and Y are Turing incomparable. △ Less

Submitted 13 August, 2006; v1 submitted 20 February, 2006; originally announced February 2006.

MSC Class: 03D28

Decidability of the Natural Numbers with the Almost-All Quantifier

Authors: David Marker, Theodore A. Slaman

Abstract: We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of arithmetic is decidable. We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of arithmetic is decidable. △ Less

Submitted 20 February, 2006; originally announced February 2006.

MSC Class: 03F30