Downey, Rodney G.; Kach, Asher M.; Lempp, Steffen; Lewis-Pye, Andrew E. M.; Montalbán, Antonio; Turetsky, Daniel D. The complexity of computable categoricity. (English) Zbl 1345.03063 Adv. Math. 268, 423-466 (2015). MSC: 03C57 03C35 03D45 03D60 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Adv. Math. 268, 423--466 (2015; Zbl 1345.03063) Full Text: DOI
Downey, Rodney G.; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computable categoricity versus relative computable categoricity. (English) Zbl 1320.03070 Fundam. Math. 221, No. 2, 129-159 (2013). Reviewer: Noam Greenberg (Wellington) MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Fundam. Math. 221, No. 2, 129--159 (2013; Zbl 1320.03070) Full Text: DOI
Downey, Rodney G.; Kach, Asher M.; Turetsky, Daniel Limitwise monotonic functions and their applications. (English) Zbl 1279.03063 Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 59-85 (2012). Reviewer: Vadim Puzarenko (Novosibirsk) MSC: 03C57 03D20 03D25 03-02 PDF BibTeX XML Cite \textit{R. G. Downey} et al., in: Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22--27, 2009. Hackensack, NJ: World Scientific. 59--85 (2012; Zbl 1279.03063) Full Text: DOI
Downey, Rodney G.; Kach, Asher M. Euclidean functions of computable Euclidean domains. (English) Zbl 1260.03082 Notre Dame J. Formal Logic 52, No. 2, 163-172 (2011). MSC: 03D45 03B30 PDF BibTeX XML Cite \textit{R. G. Downey} and \textit{A. M. Kach}, Notre Dame J. Formal Logic 52, No. 2, 163--172 (2011; Zbl 1260.03082) Full Text: DOI
Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel Decidability and computability of certain torsion-free abelian groups. (English) Zbl 1211.03063 Notre Dame J. Formal Logic 51, No. 1, 85-96 (2010). Reviewer: Marius Zimand (Towson) MSC: 03D45 03B25 20K15 20K20 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Notre Dame J. Formal Logic 51, No. 1, 85--96 (2010; Zbl 1211.03063) Full Text: DOI
Downey, Rodney G.; Hirschfeldt, Denis R.; Kach, Asher M.; Lempp, Steffen; Mileti, Joseph R.; Montalbán, Antonio Subspaces of computable vector spaces. (English) Zbl 1127.03036 J. Algebra 314, No. 2, 888-894 (2007). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D45 03B30 03F35 PDF BibTeX XML Cite \textit{R. G. Downey} et al., J. Algebra 314, No. 2, 888--894 (2007; Zbl 1127.03036) Full Text: DOI