Richard A. Shore

82 papers A* 1Journal 74Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Halin's infinite ray theorems: Complexity and reverse mathematics. J. Math. Log. James S. Barnes, Jun Le Goh, Richard A. Shore
2023	J	`jnl`	Almost theorems of Hyperarithmetic Analysis. J. Symb. Log. Richard A. Shore
2022	J	`jnl`	Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic Analysis. Bull. Symb. Log. James S. Barnes, Jun Le Goh, Richard A. Shore
2018	J	`jnl`	Conservativity of Ultrafilters over Subsystems of second order Arithmetic. J. Symb. Log. Antonio Montalbán, Richard A. Shore
2018	J	`jnl`	On the Jumps of the Degrees Below a Recursively Enumerable Degree. Notre Dame J. Formal Log. David R. Bélanger, Richard A. Shore
2017	—	`conf`	Σ _1^1 in Every Real in a Σ _1^1 Class of Reals Is Σ _1^1. Computability and Complexity Leo Harrington, Richard A. Shore, Theodore A. Slaman
2016	J	`jnl`	Mass problems and density. J. Math. Log. Stephen Binns, Richard A. Shore, Stephen G. Simpson
2016	J	`jnl`	The strength of the Grätzer-Schmidt theorem. Arch. Math. Log. Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, Richard A. Shore
2014	J	`jnl`	The Turing Degrees below generics and randoms. J. Symb. Log. Richard A. Shore
2014	J	`jnl`	The complexity of ascendant sequences in locally nilpotent groups. Int. J. Algebra Comput. Chris J. Conidis, Richard A. Shore
2013	J	`jnl`	Degrees of Categoricity and the Hyperarithmetic Hierarchy. Notre Dame J. Formal Log. Barbara F. Csima, Johanna N. Y. Franklin, Richard A. Shore
2013	J	`jnl`	Low level nondefinability results: Domination and recursive enumeration. J. Symb. Log. Mingzhong Cai, Richard A. Shore
2012	J	`jnl`	Computably Enumerable Partial Orders. Comput. Peter Cholak, Damir D. Dzhafarov, Noah David Schweber, Richard A. Shore
2012	J	`jnl`	Computing maximal chains. Arch. Math. Log. Alberto Marcone, Antonio Montalbán, Richard A. Shore
2012	J	`jnl`	Domination, forcing, array nonrecursiveness and relative recursive enumerability. J. Symb. Log. Mingzhong Cai, Richard A. Shore
2012	J	`jnl`	The n-R.E. Degrees: Undecidability and σ J. Math. Log. Mingzhong Cai, Richard A. Shore, Theodore A. Slaman
2011	J	`jnl`	The maximal linear extension theorem in second order arithmetic. Arch. Math. Log. Alberto Marcone, Richard A. Shore
2011	J	`jnl`	Topological aspects of the Medvedev lattice. Arch. Math. Log. Andrew E. M. Lewis, Richard A. Shore, Andrea Sorbi
2010	J	`jnl`	Lattice initial segments of the hyperdegrees. J. Symb. Log. Bjørn Kjos-Hanssen, Richard A. Shore
2010	J	`jnl`	Reverse mathematics: the playground of logic. Bull. Symb. Log. Richard A. Shore
2007	J	`jnl`	Combinatorial principles weaker than Ramsey's Theorem for pairs. J. Symb. Log. Denis R. Hirschfeldt, Richard A. Shore
2007	J	`jnl`	Direct and Local Definitions of the Turing jump. J. Math. Log. Richard A. Shore
2007	J	`jnl`	Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond. Bull. Symb. Log. Richard A. Shore
2007	J	`jnl`	The settling-time reducibility ordering. J. Symb. Log. Barbara F. Csima, Richard A. Shore
2006	J	`jnl`	A computably stable structure with no Scott family of finitary formulas. Arch. Math. Log. Peter Cholak, Richard A. Shore, Reed Solomon
2006	J	`jnl`	Boolean Algebras, Tarski Invariants, and Index Sets. Notre Dame J. Formal Log. Barbara F. Csima, Antonio Montalbán, Richard A. Shore
2006	J	`jnl`	Degree Structures: Local and Global Investigations. Bull. Symb. Log. Richard A. Shore
2006	J	`jnl`	The Theory of the Metarecursively Enumerable Degrees. J. Math. Log. Noam Greenberg, Richard A. Shore, Theodore A. Slaman
2004	J	`jnl`	Generalized high degrees have the complementation property. J. Symb. Log. Noam Greenberg, Antonio Montalbán, Richard A. Shore
2004	J	`jnl`	Pi J. Symb. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore
2004	J	`jnl`	Reasoning about common knowledge with infinitely many agents. Inf. Comput. Joseph Y. Halpern, Richard A. Shore
2003	J	`jnl`	A computably categorical structure whose expansion by a constant has infinite computable dimension. J. Symb. Log. Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore
2003	J	`jnl`	Decomposition and infima in the computably enumerable degrees. J. Symb. Log. Rodney G. Downey, Geoffrey LaForte, Richard A. Shore
2002	J	`jnl`	A nonlow Math. Log. Q. Richard A. Shore, Yue Yang
2002	J	`jnl`	Degree spectra and computable dimensions in algebraic structures. Ann. Pure Appl. Log. Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore, Arkadii M. Slinko
2002	J	`jnl`	The prospects for mathematical logic in the twenty-first century CoRR Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore
2001	J	`jnl`	Every incomplete computably enumerable truth-table degree is branching. Arch. Math. Log. Peter A. Fejer, Richard A. Shore
2001	J	`jnl`	The prospects for mathematical logic in the twenty-first century. Bull. Symb. Log. Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore
2000	J	`jnl`	Undecidability and 1-types in intervals of the computably enumerable degrees. Ann. Pure Appl. Log. Klaus Ambos-Spies, Denis R. Hirschfeldt, Richard A. Shore
1999	J	`jnl`	Computably Categorical Structures and Expansions by Constants. J. Symb. Log. Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore
1999	J	`jnl`	Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". Ann. Pure Appl. Log. Bakhadyr Khoussainov, Richard A. Shore
1999	J	`jnl`	Reasoning About Common Knowledge with Infinitely Many Agents CoRR Joseph Y. Halpern, Richard A. Shore
1999	A*	`conf`	Reasoning about Common Knowledge with Infinitely Many Agents. LICS Joseph Y. Halpern, Richard A. Shore
1999	—	`ch.`	The Recursively Enumerable Degrees. Handbook of Computability Theory Richard A. Shore
1998	J	`jnl`	Computable Isomorphisms, Degree Spectra of Relations, and Scott Families. Ann. Pure Appl. Log. Bakhadyr Khoussainov, Richard A. Shore
1998	J	`jnl`	Splitting Theorems and the Jump Operator. Ann. Pure Appl. Log. Rodney G. Downey, Richard A. Shore
1997	J	`jnl`	Alonzo Church. Bull. Symb. Log. Richard A. Shore
1997	J	`jnl`	Computable Models of Theories with Few Models. Notre Dame J. Formal Log. Bakhadyr Khoussainov, André Nies, Richard A. Shore
1997	J	`jnl`	Conjectures and questions from Gerald Sacks's Arch. Math. Log. Richard A. Shore
1997	J	`jnl`	Logic Colloquium '95, Haifa, Israel, 9-17 August 1995 - Preface. Ann. Pure Appl. Log. Richard A. Shore
1997	—	`book`	Logic for Applications, Second Edition. Anil Nerode, Richard A. Shore
1996	—	`conf`	Categoricity and Scott Families. DMTCS Bakhadyr Khoussainov, Richard A. Shore
1996	J	`jnl`	Definability in the recursively enumerable degrees. Bull. Symb. Log. André Nies, Richard A. Shore, Theodore A. Slaman
1996	J	`jnl`	Interpolating d-r.e. and REA Degrees between r.e. Degrees. Ann. Pure Appl. Log. Marat M. Arslanov, Steffen Lempp, Richard A. Shore
1995	J	`jnl`	Degree Theoretic Definitions of the low J. Symb. Log. Rodney G. Downey, Richard A. Shore
1995	J	`jnl`	Interpreting True Arithmetic in the Theory of the r.e. Truth Table Degrees. Ann. Pure Appl. Log. André Nies, Richard A. Shore
1995	—	`conf`	Intervals Without Critical Triples. Logic Colloquium Peter Cholak, Rod Downey, Richard A. Shore
1995	J	`jnl`	The Bulletin of Symbolic Logic. Bull. Symb. Log. Richard A. Shore
1993	J	`jnl`	Countable Thin Pi Ann. Pure Appl. Log. Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore
1993	J	`jnl`	Highness and Bounding Minimal Pairs. Math. Log. Q. Steffen Lempp, Rodney G. Downey, Richard A. Shore
1993	—	`book`	Logic for Applications. Anil Nerode, Richard A. Shore
1993	J	`jnl`	Undecidability and 1-Types in the Recursively Enumerable Degrees. Ann. Pure Appl. Log. Klaus Ambos-Spies, Richard A. Shore
1993	J	`jnl`	Working below a Highly Recursively Enumerable Degree. J. Symb. Log. Richard A. Shore, Theodore A. Slaman
1992	J	`jnl`	On the strength of König's duality theorem for infinite bipartite graphs. J. Comb. Theory B Ron Aharoni, Menachem Magidor, Richard A. Shore
1992	J	`jnl`	The Arch. Math. Log. Alistair H. Lachlan, Richard A. Shore
1992	J	`jnl`	The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability. J. Symb. Log. Klaus Ambos-Spies, André Nies, Richard A. Shore
1992	J	`jnl`	The p-T Degrees of the Recursive Sets: Lattice Embeddings, Extensions of Embeddings and the Two-Quantifier Theory. Theor. Comput. Sci. Richard A. Shore, Theodore A. Slaman
1990	J	`jnl`	Undecidability and Initial Segments of the R.E. tt-Degrees. J. Symb. Log. Christine Ann Haught, Richard A. Shore
1990	J	`jnl`	Working below a low Arch. Math. Log. Richard A. Shore, Theodore A. Slaman
1989	—	`conf`	The P-T-Degrees of the Recursive Sets: Lattice Embeddings, Extension of Embeddings and the Two Quantifier Theory. SCT Richard A. Shore, Theodore A. Slaman
1988	J	`jnl`	A non-inversion theorem for the jump operator. Ann. Pure Appl. Log. Richard A. Shore
1988	J	`jnl`	Infima of recursively enumerable truth table degrees. Notre Dame J. Formal Log. Peter A. Fejer, Richard A. Shore
1984	J	`jnl`	Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers. J. Symb. Log. Carl G. Jockusch Jr., Richard A. Shore
1984	J	`jnl`	The arithmetic and Turing degrees are not elementarily equivalent. Arch. Math. Log. Richard A. Shore
1982	J	`jnl`	On Homogeneity and Definability in the First-Order Theory of the Turing Degrees. J. Symb. Log. Richard A. Shore
1978	J	`jnl`	Controlling the Dependence Degree of a Recursive Enumerable Vector Space. J. Symb. Log. Richard A. Shore
1978	J	`jnl`	Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets. J. Symb. Log. Richard A. Shore
1978	J	`jnl`	Some More Minimal Pairs of α-Recursively Enumerable Degrees. Math. Log. Q. Richard A. Shore
1976	J	`jnl`	Types of Simple alpha-Recursively Enumerable Sets. J. Symb. Log. Anne Leggett, Richard A. Shore
1974	J	`jnl`	sigma J. Symb. Log. Richard A. Shore
1972	J	`jnl`	Weak Compactness and Square Bracket Partition Relations. J. Symb. Log. E. M. Kleinberg, Richard A. Shore
1971	J	`jnl`	On Large Cardinals and Partition Relations. J. Symb. Log. E. M. Kleinberg, Richard A. Shore