Costa, José Félix; Loff, Bruno; Mycka, Jerzy A foundation for real recursive function theory. (English) Zbl 1189.03047 Ann. Pure Appl. Logic 160, No. 3, 255-288 (2009). Reviewer: Timothy McNicholl (Beaumont) MSC: 03D78 28A05 68Q05 PDFBibTeX XMLCite \textit{J. F. Costa} et al., Ann. Pure Appl. Logic 160, No. 3, 255--288 (2009; Zbl 1189.03047) Full Text: DOI Link
Zhong, Ning Computational unsolvability of domains of attraction of nonlinear systems. (English) Zbl 1190.03039 Proc. Am. Math. Soc. 137, No. 8, 2773-2783 (2009). Reviewer: Timothy McNicholl (Beaumont) MSC: 03D78 03D80 34D45 68Q17 PDFBibTeX XMLCite \textit{N. Zhong}, Proc. Am. Math. Soc. 137, No. 8, 2773--2783 (2009; Zbl 1190.03039) Full Text: DOI
Javaheri, Mohammad Chord theorems on graphs. (English) Zbl 1183.28020 Proc. Am. Math. Soc. 137, No. 2, 553-562 (2009). Reviewer: Timothy McNicholl (Beaumont) MSC: 28A99 05C99 26A99 PDFBibTeX XMLCite \textit{M. Javaheri}, Proc. Am. Math. Soc. 137, No. 2, 553--562 (2009; Zbl 1183.28020) Full Text: DOI arXiv
Zheng, Xizhong Classification of computably approximable real numbers. (English) Zbl 1176.03020 Theory Comput. Syst. 43, No. 3-4, 603-624 (2008). Reviewer: Timothy McNicholl (Beaumont) MSC: 03D78 03D55 03F60 PDFBibTeX XMLCite \textit{X. Zheng}, Theory Comput. Syst. 43, No. 3--4, 603--624 (2008; Zbl 1176.03020) Full Text: DOI
Brattka, Vasco Plottable real number functions and the computable graph theorem. (English) Zbl 1165.03052 SIAM J. Comput. 38, No. 1, 303-328 (2008). Reviewer: Timothy McNicholl (Beaumont) MSC: 03F60 03D45 PDFBibTeX XMLCite \textit{V. Brattka}, SIAM J. Comput. 38, No. 1, 303--328 (2008; Zbl 1165.03052) Full Text: DOI Link
Baroni, Marian A.; Bridges, Douglas S. Continuity properties of preference relations. (English) Zbl 1153.03042 Math. Log. Q. 54, No. 5, 454-459 (2008). Reviewer: Timothy McNicholl (Beaumont) MSC: 03F60 54D30 91B08 PDFBibTeX XMLCite \textit{M. A. Baroni} and \textit{D. S. Bridges}, Math. Log. Q. 54, No. 5, 454--459 (2008; Zbl 1153.03042) Full Text: DOI