Showing 1–8 of 8 results for author: Shore, R A

Halin's Infinite Ray Theorems: Complexity and Reverse Mathematics: Version E

Authors: James S. Barnes, Jun Le Goh, Richard A. Shore

Abstract: Halin [1965] proved that if a graph has $n$ many pairwise disjoint rays for each $n$ then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic complexity. The statement of Halin's theorem and the construction proving it seem very much like standard versions of compactness arguments such as König's Lemm… ▽ More Halin [1965] proved that if a graph has $n$ many pairwise disjoint rays for each $n$ then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic complexity. The statement of Halin's theorem and the construction proving it seem very much like standard versions of compactness arguments such as König's Lemma. Those results, while not computable, are relatively simple. They only use arithmetic procedures or, equivalently, finitely many iterations of the Turing jump. We show that several Halin type theorems are much more complicated. They are among the theorems of hyperarithmetic analysis. Such theorems imply the ability to iterate the Turing jump along any computable well ordering. Several important logical principles in this class have been extensively studied beginning with work of Kreisel, H. Friedman, Steel and others in the 1960s and 1970s. Until now, only one purely mathematical example was known. Our work provides many more and so answers Question 30 of Montalbán's Open Questions in Reverse Mathematics [2011]. Some of these theorems including ones in Halin [1965] are also shown to have unusual proof theoretic strength as well. △ Less

Submitted 27 August, 2023; originally announced August 2023.

Comments: 51 pages, 4 figures, Version E

MSC Class: 05C63; 03D55; 03B30 (Primary) 03D80; 03F35; 05C38; 05C69; 05C70 (Secondary)

Lattice initial segments of the hyperdegrees

Authors: Richard A. Shore, Bjørn Kjos-Hanssen

Abstract: We affirm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, $\mathcal{D}_{h}$. In fact, we prove that every sublattice of any hyperarithmetic lattice (and so, in particular, every countable locally finite lattice) is isomorphic to an initial segment of $\mathcal{D}_{h}$. Corollaries include the decidability of… ▽ More We affirm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, $\mathcal{D}_{h}$. In fact, we prove that every sublattice of any hyperarithmetic lattice (and so, in particular, every countable locally finite lattice) is isomorphic to an initial segment of $\mathcal{D}_{h}$. Corollaries include the decidability of the two quantifier theory of $% \mathcal{D}_{h}$ and the undecidability of its three quantifier theory. The key tool in the proof is a new lattice representation theorem that provides a notion of forcing for which we can prove a version of the fusion lemma in the hyperarithmetic setting and so the preservation of $ω_{1}^{CK}$. Somewhat surprisingly, the set theoretic analog of this forcing does not preserve $ω_{1}$. On the other hand, we construct countable lattices that are not isomorphic to an initial segment of $\mathcal{D}_{h}$. △ Less

Submitted 13 August, 2014; originally announced August 2014.

MSC Class: 03D

Journal ref: Journal of Symbolic Logic 75 (2010), no. 1, 103--130

The Strength of the Grätzer-Schmidt Theorem

Authors: Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, Richard A. Shore

Abstract: The Grätzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that the set of indices of computable lattices that are complete is $Π^1_1$-complete; the set of indices of computable lattices that are algebraic is $Π^1_1$-complete; the set of compact elements of… ▽ More The Grätzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that the set of indices of computable lattices that are complete is $Π^1_1$-complete; the set of indices of computable lattices that are algebraic is $Π^1_1$-complete; the set of compact elements of a computable lattice is $Π^{1}_{1}$ and can be $Π^1_1$-complete; and the set of compact elements of a distributive computable lattice is $Π^{0}_{3}$, and there is an algebraic distributive computable lattice such that the set of its compact elements is $Π^0_3$-complete. △ Less

Submitted 4 January, 2019; v1 submitted 9 August, 2014; originally announced August 2014.

Comments: This journal version replaces the conference version (Computability in Europe, Lecture Notes in Computer Science 5635 (2009), 59--67)

MSC Class: 03D

Journal ref: Archive for Mathematical Logic 55 (2016), no. 5, 687--704

Computing Maximal Chains

Authors: Alberto Marcone, Antonio Montalbán, Richard A. Shore

Abstract: In 1967 Wolk proved that every well partial order (wpo) has a maximal chain; that is a chain of maximal order type. (Note that all chains in a wpo are well-ordered.) We prove that such maximal chain cannot be found computably, not even hyperarithmetically: No hyperarithmetic set can compute maximal chains in all computable wpos. However, we prove that almost every set, in the sense of category, ca… ▽ More In 1967 Wolk proved that every well partial order (wpo) has a maximal chain; that is a chain of maximal order type. (Note that all chains in a wpo are well-ordered.) We prove that such maximal chain cannot be found computably, not even hyperarithmetically: No hyperarithmetic set can compute maximal chains in all computable wpos. However, we prove that almost every set, in the sense of category, can compute maximal chains in all computable wpos. Wolk's original result actually shows that every wpo has a strongly maximal chain, which we define below. We show that a set computes strongly maximal chains in all computable wpo if and only if it computes all hyperarithmetic sets. △ Less

Submitted 20 January, 2012; originally announced January 2012.

MSC Class: 03D80 (Primary) 06A07 (Secondary)

Journal ref: Archive for Mathematical Logic, 51 (2012), 651-660

Computably enumerable partial orders

Authors: Peter A. Cholak, Damir D. Dzhafarov, Noah Schweber, Richard A. Shore

Abstract: We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for such orders, and show that the former is strictly stronger than the latter. We then show that every $\emptyset'$-computable structure (or even just of c.e.\ degr… ▽ More We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for such orders, and show that the former is strictly stronger than the latter. We then show that every $\emptyset'$-computable structure (or even just of c.e.\ degree) has the same degree spectrum as some computably enumerable (co-c.e.)\ partial order, and hence that there is a c.e.\ (co-c.e.)\ partial order with spectrum equal to the set of nonzero degrees. △ Less

Submitted 18 October, 2011; originally announced October 2011.

The maximal linear extension theorem in second order arithmetic

Authors: Alberto Marcone, Richard A. Shore

Abstract: We show that the maximal linear extension theorem for well partial orders is equivalent over RCA_0 to ATR_0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR_0 over RCA_0. We show that the maximal linear extension theorem for well partial orders is equivalent over RCA_0 to ATR_0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR_0 over RCA_0. △ Less

Submitted 18 January, 2011; v1 submitted 8 September, 2010; originally announced September 2010.

Comments: 18 pages. New proof of the maximal chain theorem in ATR_0

MSC Class: 03B30 (Primary) 06A07 (Secondary)

Journal ref: Archive for Mathematical Logic, Volume 50 (2011), Numbers 5-6, 543-564

The prospects for mathematical logic in the twenty-first century

Authors: Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore

Abstract: The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently. △ Less

Submitted 3 May, 2002; originally announced May 2002.

Comments: Association for Symbolic Logic

ACM Class: A.1; F.0; I.2.0

Journal ref: Bulletin of Symbolic Logic 7 (2001) 169-196

Reasoning About Common Knowledge with Infinitely Many Agents

Authors: Joseph Y. Halpern, Richard A. Shore

Abstract: Complete axiomatizations and exponential-time decision procedures are provided for reasoning about knowledge and common knowledge when there are infinitely many agents. The results show that reasoning about knowledge and common knowledge with infinitely many agents is no harder than when there are finitely many agents, provided that we can check the cardinality of certain set differences G - G',… ▽ More Complete axiomatizations and exponential-time decision procedures are provided for reasoning about knowledge and common knowledge when there are infinitely many agents. The results show that reasoning about knowledge and common knowledge with infinitely many agents is no harder than when there are finitely many agents, provided that we can check the cardinality of certain set differences G - G', where G and G' are sets of agents. Since our complexity results are independent of the cardinality of the sets G involved, they represent improvements over the previous results even with the sets of agents involved are finite. Moreover, our results make clear the extent to which issues of complexity and completeness depend on how the sets of agents involved are represented. △ Less

Submitted 21 September, 1999; originally announced September 1999.

Comments: Preliminary version appears in 14th IEEE Symposium on Logic in Computer Science, 1999. This is the full version

ACM Class: F.4.1; I.2.4