| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mingzhong Cai, Richard A. Shore |
Domination, forcing, array nonrecursiveness and relative recursive enumerability.  |
J. Symb. Log.  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Andrew E. M. Lewis, Richard A. Shore, Andrea Sorbi |
Topological aspects of the Medvedev lattice. |
Arch. Math. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Marcone, Richard A. Shore |
The maximal linear extension theorem in second order arithmetic. |
Arch. Math. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørn Kjos-Hanssen, Richard A. Shore |
Lattice initial segments of the hyperdegrees. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Reverse mathematics: the playground of logic. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Barbara F. Csima, Richard A. Shore |
The settling-time reducibility ordering. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Denis R. Hirschfeldt, Richard A. Shore |
Combinatorial principles weaker than Ramsey's Theorem for pairs. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Barbara F. Csima, Antonio Montalbán, Richard A. Shore |
Boolean Algebras, Tarski Invariants, and Index Sets. |
Notre Dame Journal of Formal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Degree Structures: Local and Global Investigations. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Peter Cholak, Richard A. Shore, Reed Solomon |
A computably stable structure with no Scott family of finitary formulas. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Richard A. Shore |
Reasoning about common knowledge with infinitely many agents. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Greenberg, Antonio Montalbán, Richard A. Shore |
Generalized high degrees have the complementation property. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore |
Pi11 relations and paths through. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore |
A computably categorical structure whose expansion by a constant has infinite computable dimension. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Geoffrey LaForte, Richard A. Shore |
Decomposition and infima in the computably enumerable degrees. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore, Yue Yang |
A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 Degree. |
Math. Log. Q. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore, Arkadii M. Slinko |
Degree spectra and computable dimensions in algebraic structures. |
Ann. Pure Appl. Logic |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore |
The prospects for mathematical logic in the twenty-first century |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore |
The prospects for mathematical logic in the twenty-first century. |
Bulletin of Symbolic Logic |
2001 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Fejer, Richard A. Shore |
Every incomplete computably enumerable truth-table degree is branching. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03D30, 03D25 |
| 1 | Klaus Ambos-Spies, Denis R. Hirschfeldt, Richard A. Shore |
Undecidability and 1-types in intervals of the computably enumerable degrees. |
Ann. Pure Appl. Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore |
Computably Categorical Structures and Expansions by Constants. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Richard A. Shore |
Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Richard A. Shore |
Reasoning About Common Knowledge with Infinitely Many Agents |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Richard A. Shore |
Reasoning about Common Knowledge with Infinitely Many Agents. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Richard A. Shore |
Splitting Theorems and the Jump Operator. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Richard A. Shore |
Computable Isomorphisms, Degree Spectra of Relations, and Scott Families. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, André Nies, Richard A. Shore |
Computable Models of Theories with Few Models. |
Notre Dame Journal of Formal Logic |
1997 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Alonzo Church. |
Bulletin of Symbolic Logic |
1997 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Logic Colloquium '95, Haifa, Israel, 9-17 August 1995 - Preface. |
Ann. Pure Appl. Logic |
1997 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Conjectures and questions from Gerald Sacks's Degrees of Unsolvability. |
Arch. Math. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Richard A. Shore |
Logic for applications (2. ed.). |
|
1997 |
RDF |
|
| 1 | André Nies, Richard A. Shore, Theodore A. Slaman |
Definability in the recursively enumerable degrees. |
Bulletin of Symbolic Logic |
1996 |
DBLP BibTeX RDF |
|
| 1 | Marat M. Arslanov, Steffen Lempp, Richard A. Shore |
Interpolating d-r.e. and REA Degrees between r.e. Degrees. |
Ann. Pure Appl. Logic |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Richard A. Shore |
Degree Theoretic Definitions of the low2 Recursively Enumerable Sets. |
J. Symb. Log. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
The Bulletin of Symbolic Logic. |
Bulletin of Symbolic Logic |
1995 |
DBLP BibTeX RDF |
|
| 1 | André Nies, Richard A. Shore |
Interpreting True Arithmetic in the Theory of the r.e. Truth Table Degrees. |
Ann. Pure Appl. Logic |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Lempp, Rodney G. Downey, Richard A. Shore |
Highness and Bounding Minimal Pairs. |
Math. Log. Q. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore, Theodore A. Slaman |
Working below a Highly Recursively Enumerable Degree. |
J. Symb. Log. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore |
Countable Thin Pi01 Classes. |
Ann. Pure Appl. Logic |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Ambos-Spies, Richard A. Shore |
Undecidability and 1-Types in the Recursively Enumerable Degrees. |
Ann. Pure Appl. Logic |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Richard A. Shore |
Logic for applications. |
|
1993 |
RDF |
|
| 1 | Ron Aharoni, Menachem Magidor, Richard A. Shore |
On the strength of König's duality theorem for infinite bipartite graphs. |
J. Comb. Theory, Ser. B |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard A. Shore, Theodore A. Slaman |
The p-T Degrees of the Recursive Sets: Lattice Embeddings, Extensions of Embeddings and the Two-Quantifier Theory. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Ambos-Spies, André Nies, Richard A. Shore |
The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability. |
J. Symb. Log. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Christine Ann Haught, Richard A. Shore |
Undecidability and Initial Segments of the R.E. tt-Degrees. |
J. Symb. Log. |
1990 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore, Theodore A. Slaman |
The P-T-Degrees of the Recursive Sets: Lattice Embeddings, Extension of Embeddings and the Two Quantifier Theory. |
Structure in Complexity Theory Conference |
1989 |
DBLP BibTeX RDF |
|
| 1 | Carl G. Jockusch Jr., Richard A. Shore |
Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers. |
J. Symb. Log. |
1984 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
On Homogeneity and Definability in the First-Order Theory of the Turing Degrees. |
J. Symb. Log. |
1982 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets. |
J. Symb. Log. |
1978 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Controlling the Dependence Degree of a Recursive Enumerable Vector Space. |
J. Symb. Log. |
1978 |
DBLP BibTeX RDF |
|
| 1 | Anne Leggett, Richard A. Shore |
Types of Simple alpha-Recursively Enumerable Sets. |
J. Symb. Log. |
1976 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
sigman Sets which are trianglen-Incomparable (Uniformly). |
J. Symb. Log. |
1974 |
DBLP BibTeX RDF |
|
| 1 | E. M. Kleinberg, Richard A. Shore |
Weak Compactness and Square Bracket Partition Relations. |
J. Symb. Log. |
1972 |
DBLP BibTeX RDF |
|
| 1 | E. M. Kleinberg, Richard A. Shore |
On Large Cardinals and Partition Relations. |
J. Symb. Log. |
1971 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")