-
Scott Complexity of Reduced Abelian $p$-Groups
Authors:
Rachael Alvir,
Barbara F. Csima,
Luke MacLean
Abstract:
Given a reduced abelian $p$-group, we give an upper bound on the Scott complexity of the group in terms of its Ulm invariants. For limit ordinals, we show that this upper bound is tight. This gives an explicit sequence of such groups with arbitrarily high Scott complexity below $ω_1$. Along the way, we give a largely algebraic characterization of the back-and-forth relations on reduced abelian…
▽ More
Given a reduced abelian $p$-group, we give an upper bound on the Scott complexity of the group in terms of its Ulm invariants. For limit ordinals, we show that this upper bound is tight. This gives an explicit sequence of such groups with arbitrarily high Scott complexity below $ω_1$. Along the way, we give a largely algebraic characterization of the back-and-forth relations on reduced abelian $p$-groups, making progress on an open problem from the book by Ash and Knight.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Effectiveness of Walker's Cancellation Theorem
Authors:
Layth Al-Hellawi,
Rachael Alvir,
Barbara F. Csima,
Xinyue Xie
Abstract:
Walker's Cancellation theorem for abelian groups tells us that if $A$ is finitely generated and $G$ and $H$ are such that $A \oplus G \cong A \oplus H$, then $G \cong H$. Michael Deveau showed that the theorem can be effectivized, but not uniformly. In this paper, we expand on Deveau's initial analysis to show that the complexity of uniformly outputting an index of an isomorphism between $G$ and…
▽ More
Walker's Cancellation theorem for abelian groups tells us that if $A$ is finitely generated and $G$ and $H$ are such that $A \oplus G \cong A \oplus H$, then $G \cong H$. Michael Deveau showed that the theorem can be effectivized, but not uniformly. In this paper, we expand on Deveau's initial analysis to show that the complexity of uniformly outputting an index of an isomorphism between $G$ and $H$, given indices for $A$, $G$, $H$, the isomorphism between $A \oplus G$ and $A \oplus H$, and the rank of $A$, is $\mathbf{0'}$.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Degrees of categoricity and treeable degrees
Authors:
Barbara F. Csima,
Dino Rossegger
Abstract:
We give a characterization of the strong degrees of categoricity of computable structures greater or equal to $\mathbf 0''$. They are precisely the \emph{treeable} degrees -- the least degrees of paths through computable trees -- that compute $\mathbf 0''$. As a corollary, we obtain several new examples of degrees of categoricity. Among them we show that every degree $\mathbf d$ with…
▽ More
We give a characterization of the strong degrees of categoricity of computable structures greater or equal to $\mathbf 0''$. They are precisely the \emph{treeable} degrees -- the least degrees of paths through computable trees -- that compute $\mathbf 0''$. As a corollary, we obtain several new examples of degrees of categoricity. Among them we show that every degree $\mathbf d$ with $\mathbf 0^{(α)}\leq \mathbf d\leq \mathbf 0^{(α+1)}$ for $α$ a computable ordinal greater than $2$ is the strong degree of categoricity of a rigid structure. Using quite different techniques we show that every degree $\mathbf d$ with $\mathbf 0'\leq \mathbf d\leq \mathbf 0''$ is the strong degree of categoricity of a structure. Together with the above example this answers a question of Csima and Ng. To complete the picture we show that there is a degree $\mathbf d$ with $\mathbf 0'< \mathbf d< \mathbf 0''$ that is not the degree of categoricity of a rigid structure.
△ Less
Submitted 10 May, 2023; v1 submitted 9 September, 2022;
originally announced September 2022.
-
Relations enumerable from positive information
Authors:
Barbara F. Csima,
Luke MacLean,
Dino Rossegger
Abstract:
We study countable structures from the viewpoint of enumeration reducibility. Since enumeration reducibility is based on only positive information, in this setting it is natural to consider structures given by their positive atomic diagram -- the computable join of all relations of the structure. Fixing a structure $\mathcal{A}$, a natural class of relations in this setting are the relations $R$ s…
▽ More
We study countable structures from the viewpoint of enumeration reducibility. Since enumeration reducibility is based on only positive information, in this setting it is natural to consider structures given by their positive atomic diagram -- the computable join of all relations of the structure. Fixing a structure $\mathcal{A}$, a natural class of relations in this setting are the relations $R$ such that $R^{\hat{\mathcal{A}}}$ is enumeration reducible to the positive atomic diagram of $\hat{\mathcal{A}}$ for every $\hat{ \mathcal{A}}\cong \mathcal{A}$ -- the relatively intrinsically positively enumerable (r.i.p.e.) relations. We show that the r.i.p.e. relations are exactly the relations that are definable by $Σ^p_1$ formulas, a subclass of the infinitary $Σ^0_1$ formulas. We then introduce a new natural notion of the jump of a structure and study its interaction with other notions of jumps. At last we show that positively enumerable functors, a notion studied by Csima, Rossegger, and Yu, are equivalent to a notion of interpretability using $Σ^p_1$ formulas.
△ Less
Submitted 12 July, 2022; v1 submitted 2 June, 2022;
originally announced June 2022.
-
Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?
Authors:
Will Boney,
Barbara F. Csima,
Nancy A. Day,
Matthew Harrison-Trainor
Abstract:
When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both…
▽ More
When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both pseudo-elementary and $\mathcal{L}_{ω_1 ω}$-elementary? We find that these are exactly the classes that can be defined by an infinitary formula that has no infinitary disjunctions.
△ Less
Submitted 30 April, 2020; v1 submitted 5 August, 2018;
originally announced August 2018.
-
Optimal bounds for single-source Kolmogorov extractors
Authors:
Laurent Bienvenu,
Barbara F. Csima,
Matthew Harrison-Trainor
Abstract:
The rate of randomness (or dimension) of a string $σ$ is the ratio $C(σ)/|σ|$ where $C(σ)$ is the Kolmogorov complexity of $σ$. While it is known that a single computable transformation cannot increase the rate of randomness of all sequences, Fortnow, Hitchcock, Pavan, Vinodchandran, and Wang showed that for any $0<α<β<1$, there are a finite number of computable transformations such that any strin…
▽ More
The rate of randomness (or dimension) of a string $σ$ is the ratio $C(σ)/|σ|$ where $C(σ)$ is the Kolmogorov complexity of $σ$. While it is known that a single computable transformation cannot increase the rate of randomness of all sequences, Fortnow, Hitchcock, Pavan, Vinodchandran, and Wang showed that for any $0<α<β<1$, there are a finite number of computable transformations such that any string of rate at least $α$ is turned into a string of rate at least $β$ by one of these transformations. However, their proof only gives very loose bounds on the correspondence between the number of transformations and the increase of rate of randomness one can achieve. By translating this problem to combinatorics on (hyper)graphs, we provide a tight bound, namely: Using $k$ transformations, one can get an increase from rate $α$ to any rate $β< kα/(1+(k-1)α)$, and this is optimal.
△ Less
Submitted 24 November, 2019; v1 submitted 15 June, 2018;
originally announced June 2018.
-
Degrees of Categoricity Above Limit Ordinals
Authors:
Barbara F. Csima,
Michael Deveau,
Matthew Harrison-Trainor,
Mohammad Assem Mahmoud
Abstract:
A computable structure $\mathcal{A}$ has degree of categoricity $\mathbf{d}$ if $\mathbf{d}$ is exactly the degree of difficulty of computing isomorphisms between isomorphic computable copies of $\mathcal{A}$. Fokina, Kalimullin, and Miller showed that every degree d.c.e. in and above $\mathbf{0}^{(n)}$, for any $n < ω$, and also the degree $\mathbf{0}^{(ω)}$, are degrees of categoricity. Later, C…
▽ More
A computable structure $\mathcal{A}$ has degree of categoricity $\mathbf{d}$ if $\mathbf{d}$ is exactly the degree of difficulty of computing isomorphisms between isomorphic computable copies of $\mathcal{A}$. Fokina, Kalimullin, and Miller showed that every degree d.c.e. in and above $\mathbf{0}^{(n)}$, for any $n < ω$, and also the degree $\mathbf{0}^{(ω)}$, are degrees of categoricity. Later, Csima, Franklin, and Shore showed that every degree $\mathbf{0}^{(α)}$ for any computable ordinal $α$, and every degree d.c.e. in and above $\mathbf{0}^{(α)}$ for any successor ordinal $α$, is a degree of categoricity. We show that every degree c.e. in and above $\mathbf{0}^{(α)}$, for $α$ a limit ordinal, is a degree of categoricity. We also show that every degree c.e. in and above $\mathbf{0}^{(ω)}$ is the degree of categoricity of a prime model, making progress towards a question of Bazhenov and Marchuk.
△ Less
Submitted 1 August, 2018; v1 submitted 25 May, 2018;
originally announced May 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.
-
Degrees that are not degrees of categoricity
Authors:
Bernard A. Anderson,
Barbara F. Csima
Abstract:
A computable structure A is x-computably categorical for some Turing degree x, if for every computable structure B isomorphic to A there is an isomorphism f:B -> A with f computable in x. A degree x is a degree of categoricity if there is a computable A such that A is x-computably categorical, and for all y, if A is y-computably categorical then y computes x.
We construct a Sigma_2 set whose deg…
▽ More
A computable structure A is x-computably categorical for some Turing degree x, if for every computable structure B isomorphic to A there is an isomorphism f:B -> A with f computable in x. A degree x is a degree of categoricity if there is a computable A such that A is x-computably categorical, and for all y, if A is y-computably categorical then y computes x.
We construct a Sigma_2 set whose degree is not a degree of categoricity. We also demonstrate a large class of degrees that are not degrees of categoricity by showing that every degree of a set which is 2-generic relative to some perfect tree is not a degree of categoricity. Finally, we prove that every noncomputable hyperimmune-free degree is not a degree of categoricity.
△ Less
Submitted 6 April, 2014; v1 submitted 15 October, 2012;
originally announced October 2012.
-
A bounded jump for the bounded Turing degrees
Authors:
Bernard A. Anderson,
Barbara F. Csima
Abstract:
We define the bounded jump of A by A^b = {x | Exists i <= x [phi_i (x) converges and Phi_x^[A|phi_i(x)](x) converges} and let A^[nb] denote the n-th bounded jump. We demonstrate several properties of the bounded jump, including that it is strictly increasing and order preserving on the bounded Turing (bT) degrees (also known as the weak truth-table degrees). We show that the bounded jump is relate…
▽ More
We define the bounded jump of A by A^b = {x | Exists i <= x [phi_i (x) converges and Phi_x^[A|phi_i(x)](x) converges} and let A^[nb] denote the n-th bounded jump. We demonstrate several properties of the bounded jump, including that it is strictly increasing and order preserving on the bounded Turing (bT) degrees (also known as the weak truth-table degrees). We show that the bounded jump is related to the Ershov hierarchy. Indeed, for n > 1 we have X <=_[bT] 0^[nb] iff X is omega^n-c.e. iff X <=_1 0^[nb], extending the classical result that X <=_[bT] 0' iff X is omega-c.e. Finally, we prove that the analogue of Shoenfield inversion holds for the bounded jump on the bounded Turing degrees. That is, for every X such that 0^b <=_[bT] X <=_[bT] 0^[2b], there is a Y <=_[bT] 0^b such that Y^b =_[bT] X.
△ Less
Submitted 13 December, 2011; v1 submitted 21 July, 2010;
originally announced July 2010.