Showing 1–20 of 20 results for author: Shafer, P

Metric fixed point theory and partial impredicativity

Authors: David Fernández-Duque, Paul Shafer, Henry Towsner, Keita Yokoyama

Abstract: We show that the Priess-Crampe & Ribenboim fixed point theorem is provable in $\mathsf{RCA}_0$. Furthermore, we show that Caristi's fixed point theorem for both Baire and Borel functions is equivalent to the transfinite leftmost path principle, which falls strictly between $\mathsf{ATR}_0$ and $Π^1_1\mbox{-}\mathsf{CA}_0$. We also exhibit several weakenings of Caristi's theorem that are equivalent… ▽ More We show that the Priess-Crampe & Ribenboim fixed point theorem is provable in $\mathsf{RCA}_0$. Furthermore, we show that Caristi's fixed point theorem for both Baire and Borel functions is equivalent to the transfinite leftmost path principle, which falls strictly between $\mathsf{ATR}_0$ and $Π^1_1\mbox{-}\mathsf{CA}_0$. We also exhibit several weakenings of Caristi's theorem that are equivalent to $\mathsf{WKL}_0$ and to $\mathsf{ACA}_0$. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Effective powers of $ω$ over $Δ_2$ cohesive sets and infinite $Π_1$ sets without $Δ_2$ cohesive subsets

Authors: Paul Shafer

Abstract: A cohesive power of a computable structure is an effective ultrapower where a cohesive set acts as an ultrafilter. Let $ω$, $ζ$, and $η$ denote the respective order-types of the natural numbers, the integers, and the rationals. We study cohesive powers of computable copies of $ω$ over $Δ_2$ cohesive sets. We show that there is a computable copy $\mathcal{L}$ of $ω$ such that, for every $Δ_2$ cohes… ▽ More A cohesive power of a computable structure is an effective ultrapower where a cohesive set acts as an ultrafilter. Let $ω$, $ζ$, and $η$ denote the respective order-types of the natural numbers, the integers, and the rationals. We study cohesive powers of computable copies of $ω$ over $Δ_2$ cohesive sets. We show that there is a computable copy $\mathcal{L}$ of $ω$ such that, for every $Δ_2$ cohesive set $C$, the cohesive power of $\mathcal{L}$ over $C$ has order-type $ω+ η$. This improves an earlier result of Dimitrov, Harizanov, Morozov, Shafer, A. Soskova, and Vatev by generalizing from $Σ_1$ cohesive sets to $Δ_2$ cohesive sets and by computing a single copy of $ω$ that has the desired cohesive power over all $Δ_2$ cohesive sets. Furthermore, our result is optimal in the sense that $Δ_2$ cannot be replaced by $Π_2$. More generally, we show that if $X \subseteq \mathbb{N} \setminus \{0\}$ is a Boolean combination of $Σ_2$ sets, thought of as a set of finite order-types, then there is a computable copy $\mathcal{L}$ of $ω$ where the cohesive power of $\mathcal{L}$ over any $Δ_2$ cohesive set has order-type $ω+ σ(X \cup \{ω+ ζη+ ω^*\})$. If $X$ is finite and non-empty, then there is also a computable copy $\mathcal{L}$ of $ω$ where the cohesive power of $\mathcal{L}$ over any $Δ_2$ cohesive set has order-type $ω+ σ(X)$. An unexpected byproduct of our work is a new method for constructing infinite $Π_1$ sets that do not have $Δ_2$ cohesive subsets. In fact, we construct an infinite $Π_1$ set that does not have a $Δ_2$ p-cohesive subset. Infinite $Π_1$ sets without $Δ_2$ r-cohesive subsets generalize D. Martin's classic co-infinite c.e. set with no maximal superset and have appeared in the work of Lerman, Shore, and Soare. △ Less

Submitted 10 October, 2023; v1 submitted 10 February, 2022; originally announced February 2022.

Comments: arXiv admin note: text overlap with arXiv:2009.00340

(Extra)ordinary equivalences with the ascending/descending sequence principle

Authors: Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà

Abstract: We analyze the axiomatic strength of the following theorem due to Rival and Sands in the style of reverse mathematics. "Every infinite partial order $P$ of finite width contains an infinite chain $C$ such that every element of $P$ is either comparable with no element of $C$ or with infinitely many elements of $C$." Our main results are the following. The Rival-Sands theorem for infinite partial or… ▽ More We analyze the axiomatic strength of the following theorem due to Rival and Sands in the style of reverse mathematics. "Every infinite partial order $P$ of finite width contains an infinite chain $C$ such that every element of $P$ is either comparable with no element of $C$ or with infinitely many elements of $C$." Our main results are the following. The Rival-Sands theorem for infinite partial orders of arbitrary finite width is equivalent to $\mathsf{I}Σ^0_2 + \mathsf{ADS}$ over $\mathsf{RCA}_0$. For each fixed $k \geq 3$, the Rival-Sands theorem for infinite partial orders of width $\leq\! k$ is equivalent to $\mathsf{ADS}$ over $\mathsf{RCA}_0$. The Rival-Sands theorem for infinite partial orders that are decomposable into the union of two chains is equivalent to $\mathsf{SADS}$ over $\mathsf{RCA}_0$. Here $\mathsf{RCA}_0$ denotes the recursive comprehension axiomatic system, $\mathsf{I}Σ^0_2$ denotes the $Σ^0_2$ induction scheme, $\mathsf{ADS}$ denotes the ascending/descending sequence principle, and $\mathsf{SADS}$ denotes the stable ascending/descending sequence principle. To our knowledge, these versions of the Rival-Sands theorem for partial orders are the first examples of theorems from the general mathematics literature whose strength is exactly characterized by $\mathsf{I}Σ^0_2 + \mathsf{ADS}$, by $\mathsf{ADS}$, and by $\mathsf{SADS}$. Furthermore, we give a new purely combinatorial result by extending the Rival-Sands theorem to infinite partial orders that do not have infinite antichains, and we show that this extension is equivalent to arithmetical comprehension over $\mathsf{RCA}_0$. △ Less

Submitted 21 October, 2022; v1 submitted 6 July, 2021; originally announced July 2021.

MSC Class: 03B30 (Primary) 03F35; 05D10; 06A06 (Secondary)

Journal ref: The Journal of Symbolic Logic 89 (2024), 262-307

Ordinal analysis of partial combinatory algebras

Authors: Paul Shafer, Sebastiaan A. Terwijn

Abstract: For every partial combinatory algebra (pca), we define a hierarchy of extensionality relations using ordinals. We investigate the closure ordinals of pca's, i.e. the smallest ordinals where these relations become equal. We show that the closure ordinal of Kleene's first model is $ω_1^\textit{CK}$ and that the closure ordinal of Kleene's second model is $ω_1$. We calculate the exact complexities of… ▽ More For every partial combinatory algebra (pca), we define a hierarchy of extensionality relations using ordinals. We investigate the closure ordinals of pca's, i.e. the smallest ordinals where these relations become equal. We show that the closure ordinal of Kleene's first model is $ω_1^\textit{CK}$ and that the closure ordinal of Kleene's second model is $ω_1$. We calculate the exact complexities of the extensionality relations in Kleene's first model, showing that they exhaust the hyperarithmetical hierarchy. We also discuss embeddings of pca's. △ Less

Submitted 16 September, 2021; v1 submitted 23 October, 2020; originally announced October 2020.

On cohesive powers of linear orders

Authors: Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev

Abstract: Cohesive powers of computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let $ω$, $ζ$, and $η$ denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of $ω$. If… ▽ More Cohesive powers of computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let $ω$, $ζ$, and $η$ denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of $ω$. If $\mathcal{L}$ is a computable copy of $ω$ that is computably isomorphic to the usual presentation of $ω$, then every cohesive power of $\mathcal{L}$ has order-type $ω+ ζη$. However, there are computable copies of $ω$, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to $ω+ ζη$. For example, we show that there is a computable copy of $ω$ with a cohesive power of order-type $ω+ η$. Our most general result is that if $X \subseteq \mathbb{N} \setminus \{0\}$ is a Boolean combination of $Σ_2$ sets, thought of as a set of finite order-types, then there is a computable copy of $ω$ with a cohesive power of order-type $ω+ σ(X \cup \{ω+ ζη+ ω^*\})$, where $σ(X \cup \{ω+ ζη+ ω^*\})$ denotes the shuffle of the order-types in $X$ and the order-type $ω+ ζη+ ω^*$. Furthermore, if $X$ is finite and non-empty, then there is a computable copy of $ω$ with a cohesive power of order-type $ω+ σ(X)$. △ Less

Submitted 22 February, 2023; v1 submitted 1 September, 2020; originally announced September 2020.

An inside/outside Ramsey theorem and recursion theory

Authors: Marta Fiori-Carones, Paul Shafer, Giovanni Soldà

Abstract: Inspired by Ramsey's theorem for pairs, Rival and Sands proved what we refer to as an inside/outside Ramsey theorem: every infinite graph $G$ contains an infinite subset $H$ such that every vertex of $G$ is adjacent to precisely none, one, or infinitely many vertices of $H$. We analyze the Rival-Sands theorem from the perspective of reverse mathematics and the Weihrauch degrees. In reverse mathema… ▽ More Inspired by Ramsey's theorem for pairs, Rival and Sands proved what we refer to as an inside/outside Ramsey theorem: every infinite graph $G$ contains an infinite subset $H$ such that every vertex of $G$ is adjacent to precisely none, one, or infinitely many vertices of $H$. We analyze the Rival-Sands theorem from the perspective of reverse mathematics and the Weihrauch degrees. In reverse mathematics, we find that the Rival-Sands theorem is equivalent to arithmetical comprehension and hence is stronger than Ramsey's theorem for pairs. We also identify a weak form of the Rival-Sands theorem that is equivalent to Ramsey's theorem for pairs. We turn to the Weihrauch degrees to give a finer analysis of the Rival-Sands theorem's computational strength. We find that the Rival-Sands theorem is Weihrauch equivalent to the double jump of weak König's lemma. We believe that the Rival-Sands theorem is the first natural theorem shown to exhibit exactly this strength. Furthermore, by combining our result with a result of Brattka and Rakotoniaina, we obtain that solving one instance of the Rival-Sands theorem exactly corresponds to simultaneously solving countably many instances of Ramsey's theorem for pairs. Finally, we show that the uniform computational strength of the weak Rival-Sands theorem is weaker than that of Ramsey's theorem for pairs by showing that a number of well-known consequences of Ramsey's theorem for pairs do not Weihrauch reduce to the weak Rival-Sands theorem. We also address an apparent gap in the literature concerning the relationship between Weihrauch degrees corresponding to the ascending/descending sequence principle and the infinite pigeonhole principle. △ Less

Submitted 16 September, 2021; v1 submitted 30 June, 2020; originally announced June 2020.

The strength of compactness for countable complete linear orders

Authors: Paul Shafer

Abstract: We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If we require that open covers must be uniformly expressible as unions of basic open sets, then the compactness of complete linear orders is equivalent to… ▽ More We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If we require that open covers must be uniformly expressible as unions of basic open sets, then the compactness of complete linear orders is equivalent to $\mathsf{WKL}_0$ over $\mathsf{RCA}_0$. If open covers need not be uniformly expressible as unions of basic open sets, then the compactness of complete linear orders is equivalent to $\mathsf{ACA}_0$ over $\mathsf{RCA}_0$. This answers a question of François Dorais. △ Less

Submitted 31 July, 2019; v1 submitted 2 April, 2019; originally announced April 2019.

Ekeland's variational principle in weak and strong systems of arithmetic

Authors: David Fernández-Duque, Paul Shafer, Keita Yokoyama

Abstract: We analyze Ekeland's variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $Π^1_1$-${\sf CA}_0$, a strong theory of second-order arithmetic, while natural restrictions (e.g.~to compact spaces or continuous functions) yield statements equivalent to weak König's lemma (${\sf WKL}_0$) and to arithmetical comprehension (… ▽ More We analyze Ekeland's variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $Π^1_1$-${\sf CA}_0$, a strong theory of second-order arithmetic, while natural restrictions (e.g.~to compact spaces or continuous functions) yield statements equivalent to weak König's lemma (${\sf WKL}_0$) and to arithmetical comprehension (${\sf ACA}_0$). We also find that the localized version of Ekeland's variational principle is equivalent to $Π^1_1$-${\sf CA}_0$ even when restricting to continuous functions. This is a rare example of a statement about continuous functions having great logical strength. △ Less

Submitted 15 September, 2020; v1 submitted 11 February, 2019; originally announced February 2019.

Cohesive Powers of Linear Orders

Authors: Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra Soskova, Stefan Vatev

Abstract: Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of cohesive powers $Π_{C}% \mathcal{L}$ for familiar computable linear orders $\mathcal{L}$. If $% \mathcal{L}$ is isomorphic to the ordered set of natural numbers $\mathbb{N}$ and has a computable successor function, then… ▽ More Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of cohesive powers $Π_{C}% \mathcal{L}$ for familiar computable linear orders $\mathcal{L}$. If $% \mathcal{L}$ is isomorphic to the ordered set of natural numbers $\mathbb{N}$ and has a computable successor function, then $Π_{C}\mathcal{L}$ is isomorphic to $\mathbb{N}+\mathbb{Q}\times \mathbb{Z}.$ Here, $+$ stands for the sum and $\times $ for the lexicographical product of two orders. We construct computable linear orders $\mathcal{L}_{1}$ and $\mathcal{L}_{2}$ isomorphic to $\mathbb{N},$ both with noncomputable successor functions, such that $Π_{C}\mathcal{L}_{1}\mathbb{\ }$is isomorphic to $\mathbb{N}+% \mathbb{Q}\times \mathbb{Z}$, while $Π_{C}\mathcal{L}_{2}$ is not$.$ While cohesive powers preserve all $Π_{2}^{0}$ and $Σ_{2}^{0}$ sentences, we provide new examples of $Π_{3}^{0}$ sentences $Φ$ and computable structures $% \mathcal{M}$ such that $\mathcal{M}\vDash Φ$ while $Π_{C}\mathcal{M}% \vDash \urcorner Φ.$ △ Less

Submitted 15 January, 2019; originally announced January 2019.

MSC Class: 03C57 (Primary) 03D45; 03C20 (Secondary)

Randomness notions and reverse mathematics

Authors: André Nies, Paul Shafer

Abstract: We investigate the strength of a randomness notion $\mathcal R$ as a set-existence principle in second-order arithmetic: for each $Z$ there is an $X$ that is $\mathcal R$-random relative to $Z$. We show that the equivalence between $2$-randomness and being infinitely often $C$-incompressible is provable in $\mathsf{RCA}_0$. We verify that $\mathsf{RCA}_0$ proves the basic implications among random… ▽ More We investigate the strength of a randomness notion $\mathcal R$ as a set-existence principle in second-order arithmetic: for each $Z$ there is an $X$ that is $\mathcal R$-random relative to $Z$. We show that the equivalence between $2$-randomness and being infinitely often $C$-incompressible is provable in $\mathsf{RCA}_0$. We verify that $\mathsf{RCA}_0$ proves the basic implications among randomness notions: $2$-random $\Rightarrow$ weakly $2$-random $\Rightarrow$ Martin-Löf random $\Rightarrow$ computably random $\Rightarrow$ Schnorr random. Also, over $\mathsf{RCA}_0$ the existence of computable randoms is equivalent to the existence of Schnorr randoms. We show that the existence of balanced randoms is equivalent to the existence of Martin-Löf randoms, and we describe a sense in which this result is nearly optimal. △ Less

Submitted 3 September, 2019; v1 submitted 8 August, 2018; originally announced August 2018.

Comparing the degrees of enumerability and the closed Medvedev degrees

Authors: Paul Shafer, Andrea Sorbi

Abstract: We compare the degrees of enumerability and the closed Medvedev degrees and find that many situations occur. There are nonzero closed degrees that do not bound nonzero degrees of enumerability, there are nonzero degrees of enumerability that do not bound nonzero closed degrees, and there are degrees that are nontrivially both degrees of enumerability and closed degrees. We also show that the compa… ▽ More We compare the degrees of enumerability and the closed Medvedev degrees and find that many situations occur. There are nonzero closed degrees that do not bound nonzero degrees of enumerability, there are nonzero degrees of enumerability that do not bound nonzero closed degrees, and there are degrees that are nontrivially both degrees of enumerability and closed degrees. We also show that the compact degrees of enumerability exactly correspond to the cototal enumeration degrees. △ Less

Submitted 8 October, 2018; v1 submitted 26 March, 2018; originally announced March 2018.

Honest elementary degrees and degrees of relative provability without the cupping property

Authors: Paul Shafer

Abstract: An element $a$ of a lattice cups to an element $b > a$ if there is a $c < b$ such that $a \cup c = b$. An element of a lattice has the cupping property if it cups to every element above it. We prove that there are non-zero honest elementary degrees that do not have the cupping property, which answers a question of Kristiansen, Schlage-Puchta, and Weiermann. In fact, we show that if $\mathbf b$ is… ▽ More An element $a$ of a lattice cups to an element $b > a$ if there is a $c < b$ such that $a \cup c = b$. An element of a lattice has the cupping property if it cups to every element above it. We prove that there are non-zero honest elementary degrees that do not have the cupping property, which answers a question of Kristiansen, Schlage-Puchta, and Weiermann. In fact, we show that if $\mathbf b$ is a sufficiently large honest elementary degree, then there is a non-zero honest elementary degree $\mathbf a <_{\mathrm E} \mathbf b$ that does not cup to $\mathbf b$. For comparison, we modify a result of Cai to show that in several versions of the related degrees of relative provability the preceding property holds for all non-zero $\mathbf b$, not just sufficiently large $\mathbf b$. △ Less

Submitted 22 April, 2016; originally announced April 2016.

The reverse mathematics of the Tietze extension theorem

Authors: Paul Shafer

Abstract: We prove that several versions of the Tietze extension theorem for functions with moduli of uniform continuity are equivalent to WKL_0 over RCA_0. This confirms a conjecture of Giusto and Simpson that was also phrased as a question in Montalbán's "Open questions in reverse mathematics." We prove that several versions of the Tietze extension theorem for functions with moduli of uniform continuity are equivalent to WKL_0 over RCA_0. This confirms a conjecture of Giusto and Simpson that was also phrased as a question in Montalbán's "Open questions in reverse mathematics." △ Less

Submitted 17 February, 2016; originally announced February 2016.

Reverse mathematics, well-quasi-orders, and Noetherian spaces

Authors: Emanuele Frittaion, Matt Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren

Abstract: A quasi-order $Q$ induces two natural quasi-orders on $P(Q)$, but if $Q$ is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Goubault-Larrecq showed that moving from a well-quasi-order $Q$ to the quasi-orders on $P(Q)$ preserves well-quasi-orderedness in a topological sense. Specifically, Goubault-Larrecq proved that the upper topologies of the i… ▽ More A quasi-order $Q$ induces two natural quasi-orders on $P(Q)$, but if $Q$ is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Goubault-Larrecq showed that moving from a well-quasi-order $Q$ to the quasi-orders on $P(Q)$ preserves well-quasi-orderedness in a topological sense. Specifically, Goubault-Larrecq proved that the upper topologies of the induced quasi-orders on $P(Q)$ are Noetherian, which means that they contain no infinite strictly descending sequences of closed sets. We analyze various theorems of the form "if $Q$ is a well-quasi-order then a certain topology on (a subset of) $P(Q)$ is Noetherian" in the style of reverse mathematics, proving that these theorems are equivalent to ACA_0 over RCA_0. To state these theorems in RCA_0 we introduce a new framework for dealing with second-countable topological spaces. △ Less

Submitted 26 November, 2015; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: minor changes suggested by referees, added table

Journal ref: Archive for Mathematical Logic, 55 (2016), 431-459

On the logical strengths of partial solutions to mathematical problems

Authors: Laurent Bienvenu, Ludovic Patey, Paul Shafer

Abstract: We use the framework of reverse mathematics to address the question of, given a mathematical problem, whether or not it is easier to find an infinite partial solution than it is to find a complete solution. Following Flood, we say that a Ramsey-type variant of a problem is the problem with the same instances but whose solutions are the infinite partial solutions to the original problem. We study R… ▽ More We use the framework of reverse mathematics to address the question of, given a mathematical problem, whether or not it is easier to find an infinite partial solution than it is to find a complete solution. Following Flood, we say that a Ramsey-type variant of a problem is the problem with the same instances but whose solutions are the infinite partial solutions to the original problem. We study Ramsey-type variants of problems related to König's lemma, such as restrictions of König's lemma, Boolean satisfiability problems, and graph coloring problems. We find that sometimes the Ramsey-type variant of a problem is strictly easier than the original problem (as Flood showed with weak König's lemma) and that sometimes the Ramsey-type variant of a problem is equivalent to the original problem. We show that the Ramsey-type variant of weak König's lemma is robust in the sense of Montalban: it is equivalent to several perturbations of itself. We also clarify the relationship between Ramsey-type weak König's lemma and algorithmic randomness by showing that Ramsey-type weak weak König's lemma is equivalent to the problem of finding diagonally non-recursive functions and that these problems are strictly easier than Ramsey-type weak König's lemma. This answers a question of Flood. △ Less

Submitted 2 September, 2016; v1 submitted 21 November, 2014; originally announced November 2014.

Comments: 43 pages

MSC Class: 03B30; 03F35

Universality, optimality, and randomness deficiency

Authors: Rupert Hölzl, Paul Shafer

Abstract: A Martin-Löf test $\mathcal U$ is universal if it captures all non-Martin-Löf random sequences, and it is optimal if for every ML-test $\mathcal V$ there is a $c \in ω$ such that $\forall n(\mathcal{V}_{n+c} \subseteq \mathcal{U}_n)$. We study the computational differences between universal and optimal ML-tests as well as the effects that these differences have on both the notion of layerwise comp… ▽ More A Martin-Löf test $\mathcal U$ is universal if it captures all non-Martin-Löf random sequences, and it is optimal if for every ML-test $\mathcal V$ there is a $c \in ω$ such that $\forall n(\mathcal{V}_{n+c} \subseteq \mathcal{U}_n)$. We study the computational differences between universal and optimal ML-tests as well as the effects that these differences have on both the notion of layerwise computability and the Weihrauch degree of LAY, the function that produces a bound for a given Martin-Löf random sequence's randomness deficiency. We prove several robustness and idempotence results concerning the Weihrauch degree of LAY, and we show that layerwise computability is more restrictive than Weihrauch reducibility to LAY. Along similar lines we also study the principle RD, a variant of LAY outputting the precise randomness deficiency of sequences instead of only an upper bound as LAY. △ Less

Submitted 9 October, 2014; v1 submitted 30 September, 2014; originally announced September 2014.

Comparing the strength of diagonally non-recursive functions in the absence of $Σ^0_2$ induction

Authors: François G. Dorais, Jeffry L. Hirst, Paul Shafer

Abstract: We prove that the statement "there is a $k$ such that for every $f$ there is a $k$-bounded diagonally non-recursive function relative to $f$" does not imply weak König's lemma over $\mathrm{RCA}_0 + \mathrm{B}Σ^0_2$. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that every $k$-bounded diagonally non-recursive function computes a $2$-bounded di… ▽ More We prove that the statement "there is a $k$ such that for every $f$ there is a $k$-bounded diagonally non-recursive function relative to $f$" does not imply weak König's lemma over $\mathrm{RCA}_0 + \mathrm{B}Σ^0_2$. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that every $k$-bounded diagonally non-recursive function computes a $2$-bounded diagonally non-recursive function may fail in the absence of $\mathrm{I}Σ^0_2$. △ Less

Submitted 11 February, 2015; v1 submitted 15 January, 2014; originally announced January 2014.

Randomness and Semi-measures

Authors: Laurent Bienvenu, Rupert Hölzl, Christopher P. Porter, Paul Shafer

Abstract: A semi-measure is a generalization of a probability measure obtained by relaxing the additivity requirement to super-additivity. We introduce and study several randomness notions for left-c.e. semi-measures, a natural class of effectively approximable semi-measures induced by Turing functionals. Among the randomness notions we consider, the generalization of weak 2-randomness to left-c.e. semi-mea… ▽ More A semi-measure is a generalization of a probability measure obtained by relaxing the additivity requirement to super-additivity. We introduce and study several randomness notions for left-c.e. semi-measures, a natural class of effectively approximable semi-measures induced by Turing functionals. Among the randomness notions we consider, the generalization of weak 2-randomness to left-c.e. semi-measures is the most compelling, as it best reflects Martin-Löf randomness with respect to a computable measure. Additionally, we analyze a question of Shen, a positive answer to which would also have yielded a reasonable randomness notion for left-c.e. semi-measures. Unfortunately though, we find a negative answer, except for some special cases. △ Less

Submitted 21 October, 2013; v1 submitted 18 October, 2013; originally announced October 2013.

MSC Class: 03D32; 68Q30

Journal ref: Notre Dame J. Formal Logic 58, no. 3 (2017), 301-328

On uniform relationships between combinatorial problems

Authors: François G. Dorais, Damir D. Dzhafarov, Jeffry L. Hirst, Joseph R. Mileti, Paul Shafer

Abstract: The enterprise of comparing mathematical theorems according to their logical strength is an active area in mathematical logic. In this setting, called reverse mathematics, one investigates which theorems provably imply which others in a weak formal theory roughly corresponding to computable mathematics. Since the proofs of such implications take place in classical logic, they may in principle in… ▽ More The enterprise of comparing mathematical theorems according to their logical strength is an active area in mathematical logic. In this setting, called reverse mathematics, one investigates which theorems provably imply which others in a weak formal theory roughly corresponding to computable mathematics. Since the proofs of such implications take place in classical logic, they may in principle involve appeals to multiple applications of a particular theorem, or to non-uniform decisions about how to proceed in a given construction. In practice, however, if a theorem $\mathsf{Q}$ implies a theorem $\mathsf{P}$, it is usually because there is a direct uniform translation of the problems represented by $\mathsf{P}$ into the problems represented by $\mathsf{Q}$, in a precise sense. We study this notion of uniform reducibility in the context of several natural combinatorial problems, and compare and contrast it with the traditional notion of implication in reverse mathematics. We show, for instance, that for all $n,j,k \geq 1$, if $j < k$ then Ramsey's theorem for $n$-tuples and $k$ many colors does not uniformly reduce to Ramsey's theorem for $j$ many colors. The two theorems are classically equivalent, so our analysis gives a genuinely finer metric by which to gauge the relative strength of mathematical propositions. We also study Weak König's Lemma, the Thin Set Theorem, and the Rainbow Ramsey's Theorem, along with a number of their variants investigated in the literature. Uniform reducibility turns out to be connected with sequential forms of mathematical principles, where one wishes to solve infinitely many instances of a particular problem simultaneously. We exploit this connection to uncover new points of difference between combinatorial problems previously thought to be more closely related. △ Less

Submitted 16 April, 2015; v1 submitted 1 December, 2012; originally announced December 2012.

Reverse Mathematics and Algebraic Field Extensions

Authors: François G. Dorais, Jeffry Hirst, Paul Shafer

Abstract: This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that $\mathsf{WKL}_0$ is equivalent to the ability to extend $F$-automorphisms of field extensions to automorphisms of $\bar{F}$, the algebraic closure of $F$. Section 3 explores finitary conditions for embeddability. Normal and Galois extensions are discussed in section… ▽ More This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that $\mathsf{WKL}_0$ is equivalent to the ability to extend $F$-automorphisms of field extensions to automorphisms of $\bar{F}$, the algebraic closure of $F$. Section 3 explores finitary conditions for embeddability. Normal and Galois extensions are discussed in section 4, and the Galois correspondence theorems for infinite field extensions are treated in section 5. △ Less

Submitted 10 May, 2013; v1 submitted 21 September, 2012; originally announced September 2012.

Comments: 25 pages

MSC Class: 03B30 (primary) 12F05; 12F10 (secondary)