71 found
Order:
  1. Richard A. Shore (1974). Σn Sets Which Are Δn-Incomparable (Uniformly). Journal of Symbolic Logic 39 (2):295 - 304.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2. Peter Cholak, Richard A. Shore & Reed Solomon (2006). A Computably Stable Structure with No Scott Family of Finitary Formulas. Archive for Mathematical Logic 45 (5):519-538.
  3. Barbara F. Csima, Johanna N. Y. Franklin & Richard A. Shore (2013). Degrees of Categoricity and the Hyperarithmetic Hierarchy. Notre Dame Journal of Formal Logic 54 (2):215-231.
    We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I. Kalimullin, and R. Miller to show that for every computable ordinal $\alpha$, $\mathbf{0}^{}$ is the degree of categoricity of some computable structure $\mathcal{A}$. We show additionally that for $\alpha$ a computable successor ordinal, every degree $2$-c.e. in and above $\mathbf{0}^{}$ is a degree of categoricity. We further prove that every degree of categoricity is hyperarithmetic and show that the index set of structures with degrees (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  4.  15
    Denis R. Hirschfeldt & Richard A. Shore (2007). Combinatorial Principles Weaker Than Ramsey's Theorem for Pairs. Journal of Symbolic Logic 72 (1):171-206.
    We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus in particular on the principles ADS (Ascending or Descending Sequence), which states that every infinite linear order has either an infinite descending sequence or an infinite ascending sequence, and CAC (Chain-AntiChain), which states that every infinite partial order has either an infinite chain or an infinite antichain. It is well-known that Ramsey's Theorem for pairs (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  5. Richard A. Shore (2003). The Reviews. Bulletin of Symbolic Logic 9 (1):1-2.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  12
    Andrew Em Lewis, Richard A. Shore & Andrea Sorbi (2011). Topological Aspects of the Medvedev Lattice. Archive for Mathematical Logic 50 (3-4):319-340.
    We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated by these degrees; the prime ideal generated by the dense degrees and its complement, a prime filter; the filter generated by the nonzero closed degrees and the filter generated by the nonzero discrete degrees. We give a complete picture of the relationships of inclusion holding between these sublattices, these filters, and this ideal. We show that the sublattice (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  16
    Bakhadyr Khoussainov, Andre Nies & Richard A. Shore (1997). Computable Models of Theories with Few Models. Notre Dame Journal of Formal Logic 38 (2):165-178.
    In this paper we investigate computable models of -categorical theories and Ehrenfeucht theories. For instance, we give an example of an -categorical but not -categorical theory such that all the countable models of except its prime model have computable presentations. We also show that there exists an -categorical but not -categorical theory such that all the countable models of except the saturated model, have computable presentations.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  8. Rodney G. Downey, Geoffrey L. Laforte & Richard A. Shore (2003). Decomposition and Infima in the Computably Enumerable Degrees. Journal of Symbolic Logic 68 (2):551-579.
    Given two incomparable c.e. Turing degrees a and b, we show that there exists a c.e. degree c such that c = (a ⋃ c) ⋂ (b ⋃ c), a ⋃ c | b ⋃ c, and c < a ⋃ b.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  9. André Nies, Richard A. Shore & Theodore A. Slaman (1996). Definability in the Recursively Enumerable Degrees. Bulletin of Symbolic Logic 2 (4):392-404.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  8
    Alberto Marcone & Richard A. Shore (2011). The Maximal Linear Extension Theorem in Second Order Arithmetic. Archive for Mathematical Logic 50 (5-6):543-564.
    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.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11. Denis R. Hirschfeldt, Bakhadyr Khoussainov & Richard A. Shore (2003). A Computably Categorical Structure Whose Expansion by a Constant has Infinite Computable Dimension. Journal of Symbolic Logic 68 (4):1199-1241.
    Cholak, Goncharov, Khoussainov, and Shore [1] showed that for each k > 0 there is a computably categorical structure whose expansion by a constant has computable dimension k. We show that the same is true with k replaced by ω. Our proof uses a version of Goncharov's method of left and right operations.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  12.  73
    Richard A. Shore (1978). Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets. Journal of Symbolic Logic 43 (2):322-330.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  9
    Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore & Arkadii M. Slinko (2002). Degree Spectra and Computable Dimensions in Algebraic Structures. Annals of Pure and Applied Logic 115 (1-3):71-113.
    Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classes of algebraic structures, such as groups, rings, lattices, and so forth. One way to give positive answers to this question is to adapt the original proof to the new setting. However, this can be an unnecessary duplication of effort, and lacks generality. Another method is to code the original structure into a structure in the given (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  14.  2
    Richard A. Shore (1988). A Non-Inversion Theorem for the Jump Operator. Annals of Pure and Applied Logic 40 (3):277-303.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  15. Barbara F. Csima, Johanna N. Y. Franklin & Richard A. Shore (2013). Degrees of Categoricity and the Hyperarithmetic Hierarchy. Notre Dame Journal of Formal Logic 54 (2):215-231.
    We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I. Kalimullin, and R. Miller to show that for every computable ordinal $\alpha$, $\mathbf{0}^{}$ is the degree of categoricity of some computable structure $\mathcal{A}$. We show additionally that for $\alpha$ a computable successor ordinal, every degree $2$-c.e. in and above $\mathbf{0}^{}$ is a degree of categoricity. We further prove that every degree of categoricity is hyperarithmetic and show that the index set of structures with degrees (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  7
    Peter Cholak, Sergey Goncharov, Bakhadyr Khoussainov & Richard A. Shore (1999). Computably Categorical Structures and Expansions by Constants. Journal of Symbolic Logic 64 (1):13-37.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  17.  20
    Rod Downey & Richard A. Shore (1995). Degree Theoretic Definitions of the Low2 Recursively Enumerable Sets. Journal of Symbolic Logic 60 (3):727 - 756.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  18.  4
    Richard A. Shore & Theodore A. Slaman (1993). Working Below a High Recursively Enumerable Degree. Journal of Symbolic Logic 58 (3):824-859.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  19.  8
    Anil Nerode & Richard A. Shore (eds.) (1985). Recursion Theory. American Mathematical Society.
    iterations of REA operators, as well as extensions, generalizations and other applications are given in [6] while those for the ...
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  20.  6
    Alistair H. Lachlan & Richard A. Shore (1992). Then-Rea Enumeration Degrees Are Dense. Archive for Mathematical Logic 31 (4):277-285.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  21.  20
    Richard A. Shore (2006). Degree Structures: Local and Global Investigations. Bulletin of Symbolic Logic 12 (3):369-389.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  3
    Richard A. Shore (2007). Direct and Local Definitions of the Turing Jump. Journal of Mathematical Logic 7 (2):229-262.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  23.  12
    Richard A. Shore & Theodore A. Slaman (1990). Working Below a Low2 Recursively Enumerably Degree. Archive for Mathematical Logic 29 (3):201-211.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  24.  5
    Rodney G. Downey, Steffen Lempp & Richard A. Shore (1993). Highness and Bounding Minimal Pairs. Mathematical Logic Quarterly 39 (1):475-491.
  25.  3
    Douglas Cenzer, Rodney Downey, Carl Jockusch & Richard A. Shore (1993). Countable Thin Π01 Classes. Annals of Pure and Applied Logic 59 (2):79-139.
    Cenzer, D., R. Downey, C. Jockusch and R.A. Shore, Countable thin Π01 classes, Annals of Pure and Applied Logic 59 79–139. A Π01 class P {0, 1}ω is thin if every Π01 subclass of P is the intersection of P with some clopen set. Countable thin Π01 classes are constructed having arbitrary recursive Cantor- Bendixson rank. A thin Π01 class P is constructed with a unique nonisolated point A and furthermore A is of degree 0’. It is shown that no (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  26.  3
    Bakhadyr Khoussainov & Richard A. Shore (1998). Computable Isomorphisms, Degree Spectra of Relations, and Scott Families. Annals of Pure and Applied Logic 93 (1-3):153-193.
    The spectrum of a relation on a computable structure is the set of Turing degrees of the image of R under all isomorphisms between and any other computable structure . The relation is intrinsically computably enumerable if its image under all such isomorphisms is c.e. We prove that any computable partially ordered set is isomorphic to the spectrum of an intrinsically c.e. relation on a computable structure. Moreover, the isomorphism can be constructed in such a way that the image of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  27.  15
    Klaus Ambos-Spies, André Nies & Richard A. Shore (1992). The Theory of the Recursively Enumerable Weak Truth-Table Degrees is Undecidable. Journal of Symbolic Logic 57 (3):864-874.
    We show that the partial order of Σ0 3-sets under inclusion is elementarily definable with parameters in the semilattice of r.e. wtt-degrees. Using a result of E. Herrmann, we can deduce that this semilattice has an undecidable theory, thereby solving an open problem of P. Odifreddi.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  28.  8
    Carl G. Jockusch Jr & Richard A. Shore (1984). Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers. Journal of Symbolic Logic 49 (4):1205 - 1236.
  29.  54
    Mingzhong Cai, Richard A. Shore & Theodore A. Slaman (2012). The N-R.E. Degrees: Undecidability and Σ1substructures. Journal of Mathematical Logic 12 (01):1250005-.
  30.  13
    Peter A. Fejer & Richard A. Shore (2001). Every Incomplete Computably Enumerable Truth-Table Degree is Branching. Archive for Mathematical Logic 40 (2):113-123.
    If r is a reducibility between sets of numbers, a natural question to ask about the structure ? r of the r-degrees containing computably enumerable sets is whether every element not equal to the greatest one is branching (i.e., the meet of two elements strictly above it). For the commonly studied reducibilities, the answer to this question is known except for the case of truth-table (tt) reducibility. In this paper, we answer the question in the tt case by showing that (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  31.  7
    Klaus Ambos-Spies & Richard A. Shore (1993). Undecidability and 1-Types in the Recursively Enumerable Degrees. Annals of Pure and Applied Logic 63 (1):3-37.
    Ambos-Spies, K. and R.A. Shore, Undecidability and 1-types in the recursively enumerable degrees, Annals of Pure and Applied Logic 63 3–37. We show that the theory of the partial ordering of recursively enumerable Turing degrees is undecidable and has uncountably many 1-types. In contrast to the original proof of the former which used a very complicated O''' argument our proof proceeds by a much simpler infinite injury argument. Moreover, it combines with the permitting technique to get similar results for any (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  12
    Richard A. Shore (1995). The Bulletin of Symbolic Logic. Bulletin of Symbolic Logic 1 (1):1-3.
  33.  11
    Richard A. Shore (1997). Conjectures and Questions From Gerald Sacks's Degrees of Unsolvability. Archive for Mathematical Logic 36 (4-5):233-253.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  34.  4
    Richard A. Shore (1978). Some More Minimal Pairs of Α-Recursively Enumerable Degrees. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):409-418.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  7
    Carl G. Jockusch Jr & Richard A. Shore (1984). Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers. Journal of Symbolic Logic 49 (4):1205 - 1236.
  36.  12
    Barbara F. Csima, Antonio Montalbán & Richard A. Shore (2006). Boolean Algebras, Tarski Invariants, and Index Sets. Notre Dame Journal of Formal Logic 47 (1):1-23.
    Tarski defined a way of assigning to each Boolean algebra, B, an invariant inv(B) ∈ In, where In is a set of triples from ℕ, such that two Boolean algebras have the same invariant if and only if they are elementarily equivalent. Moreover, given the invariant of a Boolean algebra, there is a computable procedure that decides its elementary theory. If we restrict our attention to dense Boolean algebras, these invariants determine the algebra up to isomorphism. In this paper we (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  55
    Richard A. Shore (2010). Reverse Mathematics: The Playground of Logic. Bulletin of Symbolic Logic 16 (3):378-402.
    This paper is essentially the author's Gödel Lecture at the ASL Logic Colloquium '09 in Sofia extended and supplemented by material from some other papers. After a brief description of traditional reverse mathematics, a computational approach to is presented. There are then discussions of some interactions between reverse mathematics and the major branches of mathematical logic in terms of the techniques they supply as well as theorems for analysis. The emphasis here is on ones that lie outside the usual main (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  38.  7
    Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Richard A. Shore (2004). Π 1 1 Relations and Paths Through. Journal of Symbolic Logic 69 (2):585-611.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  16
    Richard A. Shore (2007). Local Definitions in Degeree Structures: The Turing Jump, Hyperdegrees and Beyond. Bulletin of Symbolic Logic 13 (2):226-239.
    There are $\Pi_5$ formulas in the language of the Turing degrees, D, with ≤, ∨ and $\vedge$ , that define the relations $x" \leq y"$ , x" = y" and so $x \in L_{2}(y)=\{x\geqy|x"=y"\}$ in any jump ideal containing $0^(\omega)$ . There are also $\Sigma_6$ & $\Pi_6$ and $\Pi_8$ formulas that define the relations w = x" and w = x', respectively, in any such ideal I. In the language with just ≤ the quantifier complexity of each of these definitions (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  40.  19
    Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore (2001). The Prospects for Mathematical Logic in the Twenty-First Century. Bulletin of Symbolic Logic 7 (2):169-196.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  41.  3
    Richard A. Shore (1978). Controlling the Dependence Degree of a Recursive Enumerable Vector Space. Journal of Symbolic Logic 43 (1):13-22.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  42.  1
    Richard A. Shore (1976). The Recursively Enumerable Α-Degrees Are Dense. Annals of Mathematical Logic 9 (1-2):123-155.
  43.  6
    Richard A. Shore (1990). Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989. Journal of Symbolic Logic 55 (1):372-386.
  44.  5
    Richard A. Shore (1995). 1994 European Summer Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 1 (2):203-268.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  7
    Richard A. Shore (1982). On Homogeneity and Definability in the First-Order Theory of the Turing Degrees. Journal of Symbolic Logic 47 (1):8-16.
  46.  3
    Anne Leggett & Richard A. Shore (1976). Types of Simple Α-Recursively Enumerable Sets. Journal of Symbolic Logic 41 (3):681-694.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  47.  5
    Steffen Lemppl & Richard A. Shore (1996). On Isolating Re and Isolated Dr. E. Degrees. In S. B. Cooper, T. A. Slaman & S. S. Wainer (eds.), Computability, Enumerability, Unsolvability: Directions in Recursion Theory. Cambridge University Press 224--61.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    André Nies & Richard A. Shore (1995). Interpreting True Arithmetic in the Theory of the R.E. Truth Table Degrees. Annals of Pure and Applied Logic 75 (3):269-311.
    We show that the elementary theory of the recursively enumerable tt-degrees has the same computational complexity as true first-order arithmetic. As auxiliary results, we prove theorems about exact pairs and initial segments in the tt-degrees.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  3
    Christine Ann Haught & Richard A. Shore (1990). Undecidability and Initial Segments of the (R.E.) TT-Degrees. Journal of Symbolic Logic 55 (3):987-1006.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50.  8
    Mingzhong Cai & Richard A. Shore (2012). Domination, Forcing, Array Nonrecursiveness and Relative Recursive Enumerability. Journal of Symbolic Logic 77 (1):33-48.
    We present some abstract theorems showing how domination properties equivalent to being $\overline{GL}_{2}$ or array nonrecursive can be used to construct sets generic for different notions of forcing. These theorems are then applied to give simple proofs of some known results. We also give a direct uniform proof of a recent result of Ambos-Spies, Ding, Wang, and Yu [2009] that every degree above any in $\overline{GL}_{2}$ is recursively enumerable in a 1-generic degree strictly below it. Our major new result is (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 71