-
Redundancy of information: lowering dimension
Authors:
Jun Le Goh,
Joseph S. Miller,
Mariya I. Soskova,
Linda Westrick
Abstract:
Let At denote the set of infinite sequences of effective dimension t. We determine both how close and how far an infinite sequence of dimension s can be from one of dimension t, measured using the Besicovitch pseudometric. We also identify classes of sequences for which these infima and suprema are realized as minima and maxima. When t < s, we find d(X,At) is minimized when X is a Bernoulli p-rand…
▽ More
Let At denote the set of infinite sequences of effective dimension t. We determine both how close and how far an infinite sequence of dimension s can be from one of dimension t, measured using the Besicovitch pseudometric. We also identify classes of sequences for which these infima and suprema are realized as minima and maxima. When t < s, we find d(X,At) is minimized when X is a Bernoulli p-random, where H(p)=s, and maximized when X belongs to a class of infinite sequences that we call s-codewords. When s < t, the situation is reversed.
△ Less
Submitted 6 August, 2023; v1 submitted 21 July, 2023;
originally announced July 2023.
-
Borel combinatorics fail in HYP
Authors:
Henry Towsner,
Rose Weisshaar,
Linda Westrick
Abstract:
We characterize the completely determined Borel subsets of HYP as exactly the omega_1^{ck} subsets of HYP. As a result, HYP believes there is a Borel well-ordering of the reals, that the Borel Dual Ramsey Theorem fails, and that every Borel d-regular bipartite graph has a Borel perfect matching, among other examples. Therefore, the Borel Dual Ramsey Theorem and several theorems of descriptive comb…
▽ More
We characterize the completely determined Borel subsets of HYP as exactly the omega_1^{ck} subsets of HYP. As a result, HYP believes there is a Borel well-ordering of the reals, that the Borel Dual Ramsey Theorem fails, and that every Borel d-regular bipartite graph has a Borel perfect matching, among other examples. Therefore, the Borel Dual Ramsey Theorem and several theorems of descriptive combinatorics are not theories of hyperarithmetic analysis. In the case of the Borel Dual Ramsey Theorem, this answers a question of Astor, Dzhafarov, Montalban, Solomon & the third author.
△ Less
Submitted 1 March, 2022; v1 submitted 24 June, 2021;
originally announced June 2021.
-
A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$
Authors:
Kirsten Eisentraeger,
Russell Miller,
Caleb Springer,
Linda Westrick
Abstract:
For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, the…
▽ More
For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, then $S_Z$ is meager in $\text{Sub}(\overline{\mathbb{Q}})$. Here, thin and meager both mean "small", in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields $L$ have the property that the ring of algebraic integers $\mathcal{O}_L$ is universally definable in $L$. The main tools are Hilbert's Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists$-definable subset of an algebraic extension of $\mathbb Q$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.
△ Less
Submitted 27 October, 2023; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Luzin's (N) and randomness reflection
Authors:
Arno Pauly,
Linda Westrick,
Liang Yu
Abstract:
We show that a computable function $f:\mathbb R\rightarrow\mathbb R$ has Luzin's property (N) if and only if it reflects $Π^1_1$-randomnes, if and only if it reflects $Δ^1_1(\mathcal O)$-randomness, and if and only if it reflects $\mathcal O$-Kurtz randomness, but reflecting Martin-Löf randomness or weak-2-randomness does not suffice. Here a function $f$ is said to reflect a randomness notion $R$…
▽ More
We show that a computable function $f:\mathbb R\rightarrow\mathbb R$ has Luzin's property (N) if and only if it reflects $Π^1_1$-randomnes, if and only if it reflects $Δ^1_1(\mathcal O)$-randomness, and if and only if it reflects $\mathcal O$-Kurtz randomness, but reflecting Martin-Löf randomness or weak-2-randomness does not suffice. Here a function $f$ is said to reflect a randomness notion $R$ if whenever $f(x)$ is $R$-random, then $x$ is $R$-random as well. If additionally $f$ is known to have bounded variation, then we show $f$ has Luzin's (N) if and only if it reflects weak-2-randomness, and if and only if it reflects $\emptyset'$-Kurtz randomness. This links classical real analysis with algorithmic randomness.
△ Less
Submitted 25 September, 2020; v1 submitted 12 June, 2020;
originally announced June 2020.
-
A note on the diamond operator
Authors:
Linda Westrick
Abstract:
We show that if $1 \leq_W F$ and $F \star F \leq_W F$, then $F^\diamond \leq_W F$, where $\star$ and $\diamond$ are the following operations in the Weihrauch lattice: $\star$ is the compositional product, which allows the use of two principles in sequence, while the diamond operator $\diamond$ allows an arbitrary but finite number of uses of the given principle in sequence. This answers a question…
▽ More
We show that if $1 \leq_W F$ and $F \star F \leq_W F$, then $F^\diamond \leq_W F$, where $\star$ and $\diamond$ are the following operations in the Weihrauch lattice: $\star$ is the compositional product, which allows the use of two principles in sequence, while the diamond operator $\diamond$ allows an arbitrary but finite number of uses of the given principle in sequence. This answers a question of Pauly.
△ Less
Submitted 12 June, 2020; v1 submitted 25 January, 2020;
originally announced January 2020.
-
Completely determined Borel sets and measurability
Authors:
Linda Westrick
Abstract:
We consider the reverse math strength of the statement $\mathsf{C\text-DM}$:"Every completely determined Borel set is measurable." Over $\mathsf{WWKL}_0$, we obtain the following results analogous to the previously studied category case. $\mathsf{C\text-DM}$ lies strictly between $\mathsf{ATR}_0$ and $\mathsf{L}_{ω_1,ω}\text-\mathsf{CA}$. Whenever $M\subseteq 2^ω$ is the second-order part of an…
▽ More
We consider the reverse math strength of the statement $\mathsf{C\text-DM}$:"Every completely determined Borel set is measurable." Over $\mathsf{WWKL}_0$, we obtain the following results analogous to the previously studied category case. $\mathsf{C\text-DM}$ lies strictly between $\mathsf{ATR}_0$ and $\mathsf{L}_{ω_1,ω}\text-\mathsf{CA}$. Whenever $M\subseteq 2^ω$ is the second-order part of an $ω$-model of $\mathsf{C\text-DM}$, then for every $Z \in M$, there is a $R \in M$ such that $R$ is $Δ^1_1$-random relative to $Z$. On the other hand, without $\mathsf{WWKL}_0$, all sets have measure zero (as measured according to $\mathsf{C\text-DM}$), and it follows vacuously that $\neg \mathsf{WWKL}_0$ implies $\mathsf{C\text-DM}$ over $\mathsf{RCA}_0$.
△ Less
Submitted 18 May, 2021; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Three topological reducibilities for discontinuous functions
Authors:
Adam R. Day,
Rod Downey,
Linda Brown Westrick
Abstract:
We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $α$-jump functions $j_α:2^ω\rightarrow \mathbb R$ are $\leq_m$-minimal in their Baire class. Within the Baire…
▽ More
We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $α$-jump functions $j_α:2^ω\rightarrow \mathbb R$ are $\leq_m$-minimal in their Baire class. Within the Baire 1 functions, we completely characterize the degree structure associated to $\leq_{tt}$ and $\leq_m$, finding an exact match to the $α$ hierarchy introduced by Bourgain and analyzed by Kechris and Louveau.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
Topological completely positive entropy is no simpler in $\mathbb Z^2$-SFTs
Authors:
Linda Westrick
Abstract:
We construct Z^2-SFTs at every computable level of the hierarchy of topological completely positive entropy (TCPE), answering Barbieri and García-Ramos, who asked if there was one at level 3. Furthermore, we show the property of TCPE in Z^2-SFTs is coanalytic complete. Thus there is no simpler description of TCPE in Z^2-SFTs than in the general case.
We construct Z^2-SFTs at every computable level of the hierarchy of topological completely positive entropy (TCPE), answering Barbieri and García-Ramos, who asked if there was one at level 3. Furthermore, we show the property of TCPE in Z^2-SFTs is coanalytic complete. Thus there is no simpler description of TCPE in Z^2-SFTs than in the general case.
△ Less
Submitted 24 May, 2020; v1 submitted 25 April, 2019;
originally announced April 2019.
-
The determined property of Baire in reverse math
Authors:
Eric P. Astor,
Damir Dzhafarov,
Antonio Montalbán,
Reed Solomon,
Linda Brown Westrick
Abstract:
We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any $ω$-model of $DPB$ must be closed under hyperarithmetic reduction, but $DPB$ is not a theory of hyperarithmetic analysis. We show that whenever $M\subseteq 2^ω$ is th…
▽ More
We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any $ω$-model of $DPB$ must be closed under hyperarithmetic reduction, but $DPB$ is not a theory of hyperarithmetic analysis. We show that whenever $M\subseteq 2^ω$ is the second-order part of an $ω$-model of $DPB$, then for every $Z \in M$, there is a $G \in M$ such that $G$ is $Δ^1_1$-generic relative to $Z$.
△ Less
Submitted 4 July, 2020; v1 submitted 11 September, 2018;
originally announced September 2018.
-
The reverse mathematics of Hindman's theorem for sums of exactly two elements
Authors:
Barbara F. Csima,
Damir D. Dzhafarov,
Denis R. Hirschfeldt,
Carl G. Jockusch, Jr.,
Reed Solomon,
Linda Brown Westrick
Abstract:
Hindman's Theorem (HT) states that for every coloring of $\mathbb N$ with finitely many colors, there is an infinite set $H \subseteq \mathbb N$ such that all nonempty sums of distinct elements of $H$ have the same color. The investigation of restricted versions of HT from the computability-theoretic and reverse-mathematical perspectives has been a productive line of research recently. In particul…
▽ More
Hindman's Theorem (HT) states that for every coloring of $\mathbb N$ with finitely many colors, there is an infinite set $H \subseteq \mathbb N$ such that all nonempty sums of distinct elements of $H$ have the same color. The investigation of restricted versions of HT from the computability-theoretic and reverse-mathematical perspectives has been a productive line of research recently. In particular, HT$^{\leqslant n}_k$ is the restriction of HT to sums of at most $n$ many elements, with at most $k$ colors allowed, and HT$^{=n}_k$ is the restriction of HT to sums of \emph{exactly} $n$ many elements and $k$ colors. Even HT$^{\leqslant 2}_2$ appears to be a strong principle, and may even imply HT itself over RCA$_0$. In contrast, HT$^{=2}_2$ is known to be strictly weaker than HT over RCA$_0$, since HT$^{=2}_2$ follows immediately from Ramsey's Theorem for $2$-colorings of pairs. In fact, it was open for several years whether HT$^{=2}_2$ is computably true.
We show that HT$^{=2}_2$ and similar results with addition replaced by subtraction and other operations are not provable in RCA$_0$, or even WKL$_0$. In fact, we show that there is a computable instance of HT$^{=2}_2$ such that all solutions can compute a function that is diagonally noncomputable relative to $\emptyset'$. It follows that there is a computable instance of HT$^{=2}_2$ with no $Σ^0_2$ solution, which is the best possible result with respect to the arithmetical hierarchy. Furthermore, a careful analysis of the proof of the result above about solutions DNC relative to $\emptyset'$ shows that HT$^{=2}_2$ implies RRT$^{=2}_2$, the Rainbow Ramsey Theorem for $2$-colorings of pairs, over RCA$_0$. The most interesting aspect of our construction of computable colorings as above is the use of an effective version of the Lovász Local Lemma due to Rumyantsev and Shen.
△ Less
Submitted 28 May, 2018; v1 submitted 25 April, 2018;
originally announced April 2018.
-
An effective analysis of the Denjoy rank
Authors:
Linda Brown Westrick
Abstract:
We analyze the descriptive complexity of several $Π^1_1$ ranks from classical analysis which are associated to Denjoy integration. We show that $VBG, VBG_\ast, ACG$ and $ACG_\ast$ are $Π^1_1$-complete, answering a question of Walsh in case of $ACG_\ast$. Furthermore, we identify the precise descriptive complexity of the set of functions obtainable with at most $α$ steps of the transfinite process…
▽ More
We analyze the descriptive complexity of several $Π^1_1$ ranks from classical analysis which are associated to Denjoy integration. We show that $VBG, VBG_\ast, ACG$ and $ACG_\ast$ are $Π^1_1$-complete, answering a question of Walsh in case of $ACG_\ast$. Furthermore, we identify the precise descriptive complexity of the set of functions obtainable with at most $α$ steps of the transfinite process of Denjoy totalization: if $|\cdot|$ is the $Π^1_1$-rank naturally associated to $VBG, VBG_\ast$ or $ACG_\ast$, and if $α<ω_1^{ck}$, then $\{F \in C(I): |F| \leq α\}$ is $Σ^0_{2α}$-complete. These finer results are an application of the author's previous work on the limsup rank on well-founded trees. Finally, $\{(f,F) \in M(I)\times C(I) : F\in ACG_\ast \text{ and } F'=f \text{ a.e.}\}$ and $\{f \in M(I) : f \text{ is Denjoy integrable}\}$ are $Π^1_1$-complete, answering more questions of Walsh.
△ Less
Submitted 19 December, 2019; v1 submitted 31 October, 2017;
originally announced November 2017.
-
Weakly 2-randoms and 1-generics in Scott sets
Authors:
Linda Brown Westrick
Abstract:
Let $S$ be a Scott set, or even an $ω$-model of $\mathsf{WWKL}$. Then for each $A\in S$, either there is $X \in S$ that is weakly 2-random relative to $A$, or there is $X\in S$ that is 1-generic relative to $A$. It follows that if $A_1,\dots, A_n \in S$ are non-computable, there is $X \in S$ such that each $A_i$ is Turing incomparable with $X$, answering a question of Kučera and Slaman. More gener…
▽ More
Let $S$ be a Scott set, or even an $ω$-model of $\mathsf{WWKL}$. Then for each $A\in S$, either there is $X \in S$ that is weakly 2-random relative to $A$, or there is $X\in S$ that is 1-generic relative to $A$. It follows that if $A_1,\dots, A_n \in S$ are non-computable, there is $X \in S$ such that each $A_i$ is Turing incomparable with $X$, answering a question of Kučera and Slaman. More generally, any $\forall\exists$ sentence in the language of partial orders that holds in $\mathcal D$ also holds in $\mathcal D_S$, where $\mathcal D_S$ is the partial order of Turing degrees of elements of $S$.
△ Less
Submitted 31 October, 2017;
originally announced November 2017.
-
Effectiveness for the Dual Ramsey Theorem
Authors:
Damir Dzhafarov,
Stephen Flood,
Reed Solomon,
Linda Brown Westrick
Abstract:
We analyze the Dual Ramsey Theorem for $k$ partitions and $\ell$ colors ($\mathsf{DRT}^k_\ell$) in the context of reverse math, effective analysis, and strong reductions. Over $\mathsf{RCA}_0$, the Dual Ramsey Theorem stated for Baire colorings is equivalent to the statement for clopen colorings and to a purely combinatorial theorem $\mathsf{cDRT}^k_\ell$. When the theorem is stated for Borel colo…
▽ More
We analyze the Dual Ramsey Theorem for $k$ partitions and $\ell$ colors ($\mathsf{DRT}^k_\ell$) in the context of reverse math, effective analysis, and strong reductions. Over $\mathsf{RCA}_0$, the Dual Ramsey Theorem stated for Baire colorings is equivalent to the statement for clopen colorings and to a purely combinatorial theorem $\mathsf{cDRT}^k_\ell$. When the theorem is stated for Borel colorings and $k\geq 3$, the resulting principles are essentially relativizations of $\mathsf{cDRT}^k_\ell$. For each $α$, there is a computable Borel code for a $Δ^0_α$ coloring such that any partition homogeneous for it computes $\emptyset^{(α)}$ or $\emptyset^{(α-1)}$ depending on whether $α$ is infinite or finite. For $k=2$, we present partial results giving bounds on the effective content of the principle. A weaker version for $Δ^0_n$ reduced colorings is equivalent to $\mathsf{D}^n_2$ over $\mathsf{RCA}_0+\mathsf{I}Σ^0_{n-1}$ and in the sense of strong Weihrauch reductions.
△ Less
Submitted 20 May, 2021; v1 submitted 29 September, 2017;
originally announced October 2017.
-
Dimension 1 sequences are close to randoms
Authors:
Noam Greenberg,
Joe Miller,
Alexander Shen,
Linda Brown Westrick
Abstract:
We show that a sequence has effective Hausdorff dimension 1 if and only if it is coarsely similar to a Martin-Löf random sequence. More generally, a sequence has effective dimension $s$ if and only if it is coarsely similar to a weakly $s$-random sequence. Further, for any $s<t$, every sequence of effective dimension $s$ can be changed on density at most $H^{-1}(t)-H^{-1}(s)$ of its bits to produc…
▽ More
We show that a sequence has effective Hausdorff dimension 1 if and only if it is coarsely similar to a Martin-Löf random sequence. More generally, a sequence has effective dimension $s$ if and only if it is coarsely similar to a weakly $s$-random sequence. Further, for any $s<t$, every sequence of effective dimension $s$ can be changed on density at most $H^{-1}(t)-H^{-1}(s)$ of its bits to produce a sequence of effective dimension $t$, and this bound is optimal.
△ Less
Submitted 15 September, 2017;
originally announced September 2017.
-
Finding bases of uncountable free abelian groups is usually difficult
Authors:
Noam Greenberg,
Dan Turetsky,
Linda Brown Westrick
Abstract:
We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on the cardinality. For example, we show, under the assumption $V=L$, that there is a first-order definable free abelian group with no first-order definable basis.
We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on the cardinality. For example, we show, under the assumption $V=L$, that there is a first-order definable free abelian group with no first-order definable basis.
△ Less
Submitted 7 September, 2017;
originally announced September 2017.
-
Seas of squares with sizes from a $Π^0_1$ set
Authors:
Linda Brown Westrick
Abstract:
For each $Π^0_1$ $S\subseteq \mathbb{N}$, let the $S$-square shift be the two-dimensional subshift on the alphabet $\{0,1\}$ whose elements consist of squares of 1s of various sizes on a background of 0s, where the side length of each square is in $S$. Similarly, let the distinct-square shift consist of seas of squares such that no two finite squares have the same size. Extending the self-similar…
▽ More
For each $Π^0_1$ $S\subseteq \mathbb{N}$, let the $S$-square shift be the two-dimensional subshift on the alphabet $\{0,1\}$ whose elements consist of squares of 1s of various sizes on a background of 0s, where the side length of each square is in $S$. Similarly, let the distinct-square shift consist of seas of squares such that no two finite squares have the same size. Extending the self-similar Turing machine tiling construction of Durand, Romashchenko and Shen, we show that if $X$ is an $S$-square shift or any effectively closed subshift of the distinct square shift, then $X$ is sofic.
△ Less
Submitted 25 September, 2016; v1 submitted 23 September, 2016;
originally announced September 2016.
-
Effectiveness of Hindman's theorem for bounded sums
Authors:
Damir D. Dzhafarov,
Carl G. Jockusch, Jr.,
Reed Solomon,
Linda Brown Westrick
Abstract:
We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let $\mathsf{HT}^{\leq n}_k$ denote the assertion that for each $k$-coloring $c$ of $\mathbb{N}$ there is an infinite set $X \subseteq \mathbb{N}$ such that all sums $\sum_{x \in F} x$ for $F \subseteq X$ and…
▽ More
We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let $\mathsf{HT}^{\leq n}_k$ denote the assertion that for each $k$-coloring $c$ of $\mathbb{N}$ there is an infinite set $X \subseteq \mathbb{N}$ such that all sums $\sum_{x \in F} x$ for $F \subseteq X$ and $0 < |F| \leq n$ have the same color. We prove that there is a computable $2$-coloring $c$ of $\mathbb{N}$ such that there is no infinite computable set $X$ such that all nonempty sums of at most $2$ elements of $X$ have the same color. It follows that $\mathsf{HT}^{\leq 2}_2$ is not provable in $\mathsf{RCA}_0$ and in fact we show that it implies $\mathsf{SRT}^2_2$ in $\mathsf{RCA}_0$. We also show that there is a computable instance of $\mathsf{HT}^{\leq 3}_3$ with all solutions computing $0'$. The proof of this result shows that $\mathsf{HT}^{\leq 3}_3$ implies $\mathsf{ACA}_0$ in $\mathsf{RCA}_0$.
△ Less
Submitted 27 March, 2016;
originally announced March 2016.
-
Ramsey's theorem for singletons and strong computable reducibility
Authors:
Damir D. Dzhafarov,
Ludovic Patey,
Reed Solomon,
Linda Brown Westrick
Abstract:
We answer a question posed by Hirschfeldt and Jockusch by showing that whenever $k > \ell$, Ramsey's theorem for singletons and $k$-colorings, $\mathsf{RT}^1_k$, is not strongly computably reducible to the stable Ramsey's theorem for $\ell$-colorings, $\mathsf{SRT}^2_\ell$. Our proof actually establishes the following considerably stronger fact: given $k > \ell$, there is a coloring $c : ω\to k$ s…
▽ More
We answer a question posed by Hirschfeldt and Jockusch by showing that whenever $k > \ell$, Ramsey's theorem for singletons and $k$-colorings, $\mathsf{RT}^1_k$, is not strongly computably reducible to the stable Ramsey's theorem for $\ell$-colorings, $\mathsf{SRT}^2_\ell$. Our proof actually establishes the following considerably stronger fact: given $k > \ell$, there is a coloring $c : ω\to k$ such that for every stable coloring $d : [ω]^2 \to \ell$ (computable from $c$ or not), there is an infinite homogeneous set $H$ for $d$ that computes no infinite homogeneous set for $c$. This also answers a separate question of Dzhafarov, as it follows that the cohesive principle, $\mathsf{COH}$, is not strongly computably reducible to the stable Ramsey's theorem for all colorings, $\mathsf{SRT}^2_{<\infty}$. The latter is the strongest partial result to date in the direction of giving a negative answer to the longstanding open question of whether $\mathsf{COH}$ is implied by the stable Ramsey's theorem in $ω$-models of $\mathsf{RCA}_0$.
△ Less
Submitted 31 May, 2016; v1 submitted 14 February, 2016;
originally announced February 2016.
-
Topological conjugations are not constructable
Authors:
Linda Brown Westrick
Abstract:
We construct two computable topologically conjugate functions for which no conjugacy is computable, or even hyperarithmetic, resolving an open question of Kennedy and Stockman.
We construct two computable topologically conjugate functions for which no conjugacy is computable, or even hyperarithmetic, resolving an open question of Kennedy and Stockman.
△ Less
Submitted 6 June, 2013; v1 submitted 9 March, 2013;
originally announced March 2013.
-
A lightface analysis of the differentiability rank
Authors:
Linda Brown Westrick
Abstract:
We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differentiable function is an ordinal less than omega_1 which measures how complex it is to verify differentiability for that function. We show that for each recursive ordinal alpha>0, the set of Turing indices of C[0,1] functions that are differentiable with rank at mo…
▽ More
We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differentiable function is an ordinal less than omega_1 which measures how complex it is to verify differentiability for that function. We show that for each recursive ordinal alpha>0, the set of Turing indices of C[0,1] functions that are differentiable with rank at most alpha is Pi_{2 alpha + 1}-complete. This result is expressed in the notation of Ash and Knight.
△ Less
Submitted 1 August, 2013; v1 submitted 12 February, 2013;
originally announced February 2013.
