论文信息 - Representations of Reals in Reverse Mathematics - 字舞流文

Representations of Reals in Reverse Mathematics

[1] Jeffry L. Hirst. Minima of initial segments of infinite sequences of reals , 2004, Math. Log. Q..

[2] Ulrich Kohlenbach,et al. On uniform weak König's lemma , 2002, Ann. Pure Appl. Log..

[3] Stephen G. Simpson,et al. Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.

[4] A. S. Troelstra,et al. Intuitionistic Extensions of the Reals II , 1982 .

[5] Wooster Woodruff Beman,et al. Essays on the theory of mumbers : I. Continuity and irrational numbers : II. The nature and meaning of numbers : Authorized translation by Wooster Woodruff Beman , 1963 .

[6] A. Mostowski. On computable sequences , 1957 .

[7] H. G. Rice,et al. Recursive real numbers , 1954 .

[8] John R. Myhill,et al. Criteria of constructibility for real numbers , 1953, Journal of Symbolic Logic.

[9] Raphael M. Robinson,et al. Review: Rozsa Peter, Rekursive Funktionen , 1951 .