Barnes, James S.; Goh, Jun Le; Shore, Richard A. Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis. (English) Zbl 1505.03025 Bull. Symb. Log. 28, No. 1, 133-149 (2022). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D55 03F35 05C63 03D80 PDFBibTeX XMLCite \textit{J. S. Barnes} et al., Bull. Symb. Log. 28, No. 1, 133--149 (2022; Zbl 1505.03025) Full Text: DOI
Shore, Richard A. Reverse mathematics: the playground of logic. (English) Zbl 1218.03006 Bull. Symb. Log. 16, No. 3, 378-402 (2010). Reviewer: Josef Berger (München) MSC: 03B30 PDFBibTeX XMLCite \textit{R. A. Shore}, Bull. Symb. Log. 16, No. 3, 378--402 (2010; Zbl 1218.03006) Full Text: DOI
Shore, Richard A. Local definitions in degree structures: the Turing jump, hyperdegrees and beyond. (English) Zbl 1131.03018 Bull. Symb. Log. 13, No. 2, 226-239 (2007). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D28 03D30 PDFBibTeX XMLCite \textit{R. A. Shore}, Bull. Symb. Log. 13, No. 2, 226--239 (2007; Zbl 1131.03018) Full Text: DOI Euclid Link
Shore, Richard A. Degree structures: local and global investigations. (English) Zbl 1119.03039 Bull. Symb. Log. 12, No. 3, 369-389 (2006). Reviewer: Zheng Xizhong (Cottbus) MSC: 03D28 03D25 03-02 PDFBibTeX XMLCite \textit{R. A. Shore}, Bull. Symb. Log. 12, No. 3, 369--389 (2006; Zbl 1119.03039) Full Text: DOI Link
Buss, Samuel R.; Kechris, Alexander S.; Pillay, Anand; Shore, Richard A. The prospects for mathematical logic in the twenty-first century. (English) Zbl 0981.03003 Bull. Symb. Log. 7, No. 2, 169-196 (2001). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 01A67 03-03 01A61 PDFBibTeX XMLCite \textit{S. R. Buss} et al., Bull. Symb. Log. 7, No. 2, 169--196 (2001; Zbl 0981.03003) Full Text: DOI Link Link
Nies, André; Shore, Richard A.; Slaman, Theodore A. Definability in the recursively enumerable degrees. (English) Zbl 0874.03052 Bull. Symb. Log. 2, No. 4, 392-404 (1996). Reviewer: J.S.Ullian (St.Louis) MSC: 03D25 PDFBibTeX XMLCite \textit{A. Nies} et al., Bull. Symb. Log. 2, No. 4, 392--404 (1996; Zbl 0874.03052) Full Text: DOI Link Link