Nido Valencia, Juan A.; Solís Daun, Julio E.; Villegas Silva, Luis M. A representation of recursively enumerable sets through Horn formulas in higher recursion theory. (English) Zbl 1389.03008 Period. Math. Hung. 73, No. 1, 1-15 (2016). Reviewer: M. Yasuhara (Princeton) MSC: 03C70 03D60 03D65 03E45 03D75 PDFBibTeX XMLCite \textit{J. A. Nido Valencia} et al., Period. Math. Hung. 73, No. 1, 1--15 (2016; Zbl 1389.03008) Full Text: DOI
Gregoriades, Vassilios Classes of Polish spaces under effective Borel isomorphism. (English) Zbl 1435.03004 Memoirs of the American Mathematical Society 1135. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1563-1/print; 978-1-4704-2822-8/ebook). viii, 92 p. (2016). MSC: 03-02 03E15 03D30 03D60 PDFBibTeX XMLCite \textit{V. Gregoriades}, Classes of Polish spaces under effective Borel isomorphism. Providence, RI: American Mathematical Society (AMS) (2016; Zbl 1435.03004) Full Text: DOI arXiv
Lubarsky, Robert S. Parallel feedback Turing computability. (English) Zbl 1476.03053 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 236-250 (2016). MSC: 03D10 03D60 03D70 PDFBibTeX XMLCite \textit{R. S. Lubarsky}, Lect. Notes Comput. Sci. 9537, 236--250 (2016; Zbl 1476.03053) Full Text: DOI
Lerman, Manuel Degrees of unsolvability. Local and global theory. Reprint of the 1983 original published by Springer. (English) Zbl 1365.03002 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16813-8/hbk; 978-1-316-71705-9/ebook). xiii, 307 p. (2016). MSC: 03-01 03-02 03D30 03D60 PDFBibTeX XMLCite \textit{M. Lerman}, Degrees of unsolvability. Local and global theory. Reprint of the 1983 original published by Springer. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1365.03002) Full Text: DOI
Barwise, Jon Admissible sets and structures. An approach to definability theory. Reprint of the 1975 original published by Springer. (English) Zbl 1365.03004 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16833-6/hbk; 978-1-316-71719-6/ebook). xiii, 394 p. (2016). MSC: 03-02 03D60 03C70 03C75 03E55 PDFBibTeX XMLCite \textit{J. Barwise}, Admissible sets and structures. An approach to definability theory. Reprint of the 1975 original published by Springer. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1365.03004) Full Text: DOI
Fenstad, Jens Erik General recursion theory. An axiomatic approach. Reprint of the 1980 original published by Springer. (English) Zbl 1365.03006 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16816-9/hbk; 978-1-316-71707-3/ebook). xii, 225 p. (2016). MSC: 03-02 03-01 03D75 03D20 03D25 03D30 03D55 03D60 03D65 03D70 PDFBibTeX XMLCite \textit{J. E. Fenstad}, General recursion theory. An axiomatic approach. Reprint of the 1980 original published by Springer. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1365.03006) Full Text: DOI
Sacks, Gerald E. Higher recursion theory. Reprint of the 1990 original published by Springer. (English) Zbl 1365.03011 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16843-5/hbk; 978-1-316-71730-1/ebook). xv, 344 p. (2016). MSC: 03-02 03D60 03D65 PDFBibTeX XMLCite \textit{G. E. Sacks}, Higher recursion theory. Reprint of the 1990 original published by Springer. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1365.03011) Full Text: DOI
Hinman, Peter G. Recursion-theoretic hierarchies. Reprint of the 1978 original published by Springer. (English) Zbl 1365.03009 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16824-4/hbk; 978-1-316-71711-0). xii, 480 p. (2016). MSC: 03-02 03D60 03D65 03D55 03E15 PDFBibTeX XMLCite \textit{P. G. Hinman}, Recursion-theoretic hierarchies. Reprint of the 1978 original published by Springer. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1365.03009) Full Text: DOI Link
Rin, Benjamin G.; Walsh, Sean Realizability semantics for quantified modal logic: generalizing Flagg’s 1985 construction. (English) Zbl 1400.03050 Rev. Symb. Log. 9, No. 4, 752-809 (2016). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03B42 03C62 03C90 03D60 03F55 03B40 06D20 PDFBibTeX XMLCite \textit{B. G. Rin} and \textit{S. Walsh}, Rev. Symb. Log. 9, No. 4, 752--809 (2016; Zbl 1400.03050) Full Text: DOI arXiv
Knight, Julia; Montalbán, Antonio; Schweber, Noah Computable structures in generic extensions. (English) Zbl 1388.03042 J. Symb. Log. 81, No. 3, 814-832 (2016). Reviewer: M. Yasuhara (Princeton) MSC: 03D60 03D30 03E40 PDFBibTeX XMLCite \textit{J. Knight} et al., J. Symb. Log. 81, No. 3, 814--832 (2016; Zbl 1388.03042) Full Text: DOI arXiv
Sacks, G. E. On the non-enumerability of \(L\). (English) Zbl 1403.03075 J. Symb. Log. 81, No. 4, 1396-1404 (2016). MSC: 03D65 03D60 03E45 03E35 PDFBibTeX XMLCite \textit{G. E. Sacks}, J. Symb. Log. 81, No. 4, 1396--1404 (2016; Zbl 1403.03075) Full Text: DOI
Friedman, Sy-David; Li, Wei; Wong, Tin Lok Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory. (English) Zbl 1358.03065 Arch. Math. Logic 55, No. 7-8, 899-924 (2016). Reviewer: Liang Yu (Nanjing) MSC: 03D65 03D60 03E70 PDFBibTeX XMLCite \textit{S.-D. Friedman} et al., Arch. Math. Logic 55, No. 7--8, 899--924 (2016; Zbl 1358.03065) Full Text: DOI
Friedman, Sy-David Isomorphism on Hyp. (English) Zbl 1366.03220 J. Symb. Log. 81, No. 2, 395-399 (2016). Reviewer: Miroslav Repický (Košice) MSC: 03E15 03D45 03D60 PDFBibTeX XMLCite \textit{S.-D. Friedman}, J. Symb. Log. 81, No. 2, 395--399 (2016; Zbl 1366.03220) Full Text: DOI
Carl, Merlin Randomness and degree theory for infinite time register machines. (English) Zbl 1401.03078 Computability 5, No. 2, 181-196 (2016). MSC: 03D32 03D10 03D60 03E40 68Q05 68Q30 PDFBibTeX XMLCite \textit{M. Carl}, Computability 5, No. 2, 181--196 (2016; Zbl 1401.03078) Full Text: DOI arXiv
Normann, Dag On the Cantor-Bendixson rank of a set that is searchable in Gödel’s \(T\). (English) Zbl 1522.03177 Computability 5, No. 1, 61-74 (2016). MSC: 03D65 03D60 PDFBibTeX XMLCite \textit{D. Normann}, Computability 5, No. 1, 61--74 (2016; Zbl 1522.03177) Full Text: DOI
Goddard, Christina Improving a bounding result that constructs models of high Scott rank. (English) Zbl 1402.03057 Notre Dame J. Formal Logic 57, No. 1, 59-71 (2016). MSC: 03C70 03D60 03C15 PDFBibTeX XMLCite \textit{C. Goddard}, Notre Dame J. Formal Logic 57, No. 1, 59--71 (2016; Zbl 1402.03057) Full Text: DOI Euclid
Gregoriades, Vassilios One more recursive-theoretic characterization of the Topological Vaught Conjecture. arXiv:1610.04852 Preprint, arXiv:1610.04852 [math.LO] (2016). MSC: 03E15 03D60 BibTeX Cite \textit{V. Gregoriades}, ``One more recursive-theoretic characterization of the Topological Vaught Conjecture'', Preprint, arXiv:1610.04852 [math.LO] (2016) Full Text: arXiv OA License
Zhu, Yizheng The higher sharp II: on \(M_2^\#\). arXiv:1604.05693 Preprint, arXiv:1604.05693 [math.LO] (2016). MSC: 03E15 03E45 03E55 03E60 03D60 03E02 BibTeX Cite \textit{Y. Zhu}, ``The higher sharp II: on $M_2^\#$'', Preprint, arXiv:1604.05693 [math.LO] (2016) Full Text: arXiv OA License
Zhu, Yizheng The higher sharp I: on \(M_1^\#\). arXiv:1604.00481 Preprint, arXiv:1604.00481 [math.LO] (2016). MSC: 03E15 03E45 03E55 03E60 03D60 03E02 BibTeX Cite \textit{Y. Zhu}, ``The higher sharp I: on $M_1^\#$'', Preprint, arXiv:1604.00481 [math.LO] (2016) Full Text: arXiv OA License