메뉴 건너뛰기




Volumn 125, Issue 10, 1997, Pages 3033-3037

There is no degree invariant half-jump

Author keywords

Axiom of determinncy; Computably enumerable degrees; Degree invariant operators; Martin's conjecture; Post's problem; Recursively enumerable degrees

Indexed keywords


EID: 0010667032     PISSN: 00029939     EISSN: None     Source Type: Journal    
DOI: 10.1090/s0002-9939-97-03915-4     Document Type: Article
Times cited : (4)

References (13)
  • 1
    • 0010749665 scopus 로고
    • A. characterization of jump operators
    • MR 90a:030G7
    • Decker, H.,A. characterization of jump operators, Journal of Symbolic Logic 53 (1988), 708-728.MR 90a:030G7
    • (1988) Journal of Symbolic Logic , vol.53 , pp. 708-728
    • Decker, H.1
  • 2
    • 0000857719 scopus 로고
    • Two recursively enumerable sets of incomparable degrees of unsolvability
    • MR 18:867a
    • Friedberg, R. M.,Two recursively enumerable sets of incomparable degrees of unsolvability, Proc. Nat. Ac. Sei. 43 (1957), 23G-238.MR 18:867a
    • (1957) Proc. Nat. Ac. Sei. , vol.43
    • Friedberg, R.M.1
  • 3
    • 0000386959 scopus 로고
    • Pseudo-jump operators I: The r.e. case
    • MR 84c:03081
    • Jockusch, C. G. Jr. and Shore, R. A.,Pseudo-jump operators I: the r.e. case, Trans. Am. Math. Soc. 275 (1983), 599-609.MR 84c:03081
    • (1983) Trans. Am. Math. Soc. , vol.275 , pp. 599-609
    • Jockusch Jr., C.G.1    Shore, R.A.2
  • 4
    • 0011457971 scopus 로고
    • The structure of Borel equivalence relations in Polish spaces
    • H. Judah, W. Just and W. H. Woodin eds.,MSRI Publications 26, Springer-Verlag, Berlin, MR 94h:03093
    • Kechris, A. S.,The structure of Borel equivalence relations in Polish spaces, in Set Theory and the Continuum, H. Judah, W. Just and W. H. Woodin eds.,MSRI Publications 26, Springer-Verlag, Berlin, 1992.MR 94h:03093
    • (1992) Set Theory and the Continuum
    • Kechris, A.S.1
  • 5
    • 84878034555 scopus 로고
    • Kechris, A. S. and Y. Moschovakis, eds., LNMS Springer-Verlag, Berlin, MR 80b:03004
    • Kechris, A. S. and Y. Moschovakis, eds.,Cabal Seminar 76-77, LNMS 689, Springer-Verlag, Berlin, 1978.MR 80b:03004
    • (1978) Cabal Seminar , vol.76-77 , pp. 689
  • 6
    • 0010749667 scopus 로고
    • Uniform enumeration operators
    • MR 52:62
    • Lachlan, A. H.,Uniform enumeration operators, Journal of Symbolic Logic 40 (1975), 401-409.MR 52:62
    • (1975) Journal of Symbolic Logic , vol.40 , pp. 401-409
    • Lachlan, A.H.1
  • 7
    • 84968480682 scopus 로고
    • The axiom of determinacy and reduction principles in the analytic hierarchy
    • MR 37:2607
    • Martin, D. A.,The axiom of determinacy and reduction principles in the analytic hierarchy, Bull. Am. Math. Soc. 74 (1968), 687-689.MR 37:2607
    • (1968) Bull. Am. Math. Soc. , vol.74 , pp. 687-689
    • Martin, D.A.1
  • 8
    • 0001434559 scopus 로고
    • Borel determinacy
    • MR 53:7785
    • Martin, D. A.,Borel determinacy, Ann. Math. (2) 102 (1975), 363-371.MR 53:7785
    • (1975) Ann. Math. (2) , vol.102 , pp. 363-371
    • Martin, D.A.1
  • 9
    • 0001170426 scopus 로고
    • On the unsolvability of the problem of reducibility in the theory of algorithms
    • Muchnik, A.A.,On the unsolvability of the problem of reducibility in the theory of algorithms, Dokl Akad. Nauk SSSR N. S. 108 (1956), 29-32.
    • (1956) Dokl Akad. Nauk SSSR N. S. , vol.108 , pp. 29-32
    • Muchnik, A.A.1
  • 10
    • 0039109004 scopus 로고
    • Recursively enumerable sets of positive integers and their decision problems
    • Post, E. L.,Recursively enumerable sets of positive integers and their decision problems, Bull. Am. Math. Soc. 50 (1944), 84-316 MR 6:29f
    • (1944) Bull. Am. Math. Soc. , vol.50 , pp. 84-316
    • Post, E.L.1
  • 12
    • 0010711917 scopus 로고
    • Definable functions on degrees
    • A. S. Kechris,D. A. Martin and J.. R. Steel eds.,LNMS 1333 Springer-Verlag, Berlin, MR 89m:03033
    • Slaman, T. and J. R. Steel,Definable functions on degrees, in Cabal Seminar 81-85, A. S. Kechris,D. A. Martin and J.. R. Steel eds.,LNMS 1333 (1988) Springer-Verlag, Berlin, 37-55.MR 89m:03033
    • (1988) Cabal Seminar , vol.81-85 , pp. 37-55
    • Slaman, T.1    Steel, J.R.2
  • 13
    • 0000541499 scopus 로고
    • A classification of jump operators
    • MR 84i:03085
    • Steel, J. R.,A classification of jump operators, Journal of Symbolic Logic 47 (1982), 347-358.MR 84i:03085
    • (1982) Journal of Symbolic Logic , vol.47 , pp. 347-358
    • Steel, J.R.1


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