On the existence of a strong minimal pair
We show that there is a strong minimal pair in the computably enumerable Turing degrees.
Source author record
Theodore A. Slaman
Theodore A. Slaman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
7works
4topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
7 published item(s)
preprint2014arXiv
Comparing DNR and WWKL
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).
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
The Irrationality Exponents of Computable Numbers
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.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
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$.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Measures and their random reals
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.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Normal Numbers and the 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.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
On Simply Normal Numbers to Different Bases
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.
0 citations0 reviewsNo code linkedOpen access