메뉴 건너뛰기




Volumn 1672, Issue , 1999, Pages 23-33

The arithmetical hierarchy of real numbers

Author keywords

Arithmetical hierarchy; Real numbers; Recursively approximable real number

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

EID: 84862158353     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48340-3_3     Document Type: Conference Paper
Times cited : (7)

References (16)
  • 1
    • 84957823153 scopus 로고    scopus 로고
    • A note on recursively approximatable real numbers
    • Mathematisches Institut, Universität Heidelberg. Nr. 38
    • K. Ambos-Spies. A note on recursively approximatable real numbers, Forschungsberichte Mathematische Logik, Mathematisches Institut, Universität Heidelberg. Nr. 38, 1998.
    • (1998) Forschungsberichte Mathematische Logik
    • Ambos-Spies, K.1
  • 2
    • 0007509140 scopus 로고
    • Differentiation of constructive functions of a real variable and relative computability
    • D. G. Skordev ed., Plenum Press, New York and Londin
    • O. Demuth and P. Filipec. Differentiation of constructive functions of a real variable and relative computability, in Mathematical Logic and Its Applications, D. G. Skordev ed., Plenum Press, New York and Londin, 1987, pp 81-106.
    • (1987) Mathematical Logic and Its Applications , pp. 81-106
    • Demuth, O.1    Filipec, P.2
  • 4
    • 0002113398 scopus 로고
    • On the definitions of computable real continuous functions
    • A. Grzegorczyk. On the definitions of computable real continuous functions, Fund. Math. 44(1957), 61-71.
    • (1957) Fund. Math , vol.44 , pp. 61-71
    • Grzegorczyk, A.1
  • 7
    • 0002434050 scopus 로고
    • Recursive predicates and quantifiers
    • S. K. Kleene. Recursive predicates and quantifiers, Trans. Amer. Math. Soc. 53(1943), 41-73.
    • (1943) Trans. Amer. Math. Soc , vol.53 , pp. 41-73
    • Kleene, S.K.1
  • 9
    • 0003719918 scopus 로고
    • vol. 129 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdan
    • P. Odifreddi. Classical Recursion Theory, vol. 129 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdan, 1989.
    • (1989) Classical Recursion Theory
    • Odifreddi, P.1
  • 11
    • 0001676326 scopus 로고
    • On degrees of unsolvability
    • J. R. Shoenfiled. On degrees of unsolvability, Ann. Math. 69(1959) 644-653.
    • (1959) Ann. Math , vol.69 , pp. 644-653
    • Shoenfiled, J.R.1
  • 13
    • 0000468030 scopus 로고
    • Nicht konstruktiv beweisbare Sätze der Analysis
    • E. Specker. Nicht konstruktiv beweisbare Sätze der Analysis, J. of Symbolic Logic 14(1949), 145-158.
    • (1949) J. of Symbolic Logic , vol.14 , pp. 145-158
    • Specker, E.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.