메뉴 건너뛰기




Volumn 62, Issue 4, 1997, Pages 1215-1240

Contiguity and distributivity in the enumerable turing degrees

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0031316605     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275639     Document Type: Article
Times cited : (21)

References (34)
  • 1
    • 0009915603 scopus 로고
    • Contiguous r.e. degrees
    • Computation and proof theory (E. Börger, W. Oberschelp, M. M. Richter, B. Schinzel, and W. Thomas, editors), Springer-Verlag, Berlin
    • K. AMBOS-SPIES, Contiguous r.e. degrees, Computation and proof theory (E. Börger, W. Oberschelp, M. M. Richter, B. Schinzel, and W. Thomas, editors), Springer Lecture Notes in Mathematics, no. 1104, Springer-Verlag, Berlin, 1984, pp. 1-37.
    • (1984) Springer Lecture Notes in Mathematics , Issue.1104 , pp. 1-37
    • Ambos-Spies, K.1
  • 2
    • 84985305161 scopus 로고
    • Antimitotic recursively enumerable sets
    • _, Antimitotic recursively enumerable sets, Z, Math. Logik Grundlagen Math., vol. 31 (1985), pp. 461-467.
    • (1985) Z, Math. Logik Grundlagen Math. , vol.31 , pp. 461-467
  • 3
    • 0039058624 scopus 로고
    • Embedding lattices preserving 1 below a noniero recursive enumerable Turing degree
    • (J. Crossley et al., editors), Birkhäuser, Boston
    • K. AMBOS-SPIES, D. DING, and P. FEJER, Embedding lattices preserving 1 below a noniero recursive enumerable Turing degree, Logical methods (J. Crossley et al., editors), Birkhäuser, Boston, 1994, pp. 92-129.
    • (1994) Logical Methods , pp. 92-129
    • Ambos-Spies, K.1    Ding, D.2    Fejer, P.3
  • 5
    • 38249004715 scopus 로고
    • The recursively enumerable degrees have infinitely many one-types
    • K. AMBUS-SPIES and R. I. SOARE, The recursively enumerable degrees have infinitely many one-types, Annals of Pure and Applied Logic, vol. 44 (1989), pp. 1-23.
    • (1989) Annals of Pure and Applied Logic , vol.44 , pp. 1-23
    • Ambus-Spies, K.1    Soare, R.I.2
  • 6
    • 38249002873 scopus 로고
    • Lattice nonembeddings and intervals in the recursively enumerable degrees
    • P. CHOLAK and R. G. DOWNEY, Lattice nonembeddings and intervals in the recursively enumerable degrees, Annals Pure and Applied Logic, vol. 61 (1993), pp. 195-222.
    • (1993) Annals Pure and Applied Logic , vol.61 , pp. 195-222
    • Cholak, P.1    Downey, R.G.2
  • 7
    • 84972546742 scopus 로고
    • 0 degrees and transfer theorems
    • 0 degrees and transfer theorems, Illinois Journal Mathematics, vol. 31 (1987), pp. 419-427.
    • (1987) Illinois Journal Mathematics , vol.31 , pp. 419-427
    • Downey, R.G.1
  • 8
    • 0001337431 scopus 로고
    • Localization of a theorem of Ambos-Spies and the strong antisplitting property
    • _, Localization of a theorem of Ambos-Spies and the strong antisplitting property, Archiv math. Logik Grundlag, vol. 26 (1987), pp. 127-136.
    • (1987) Archiv Math. Logik Grundlag , vol.26 , pp. 127-136
  • 9
    • 84972565701 scopus 로고
    • Subsets of hypersimple sets
    • _, Subsets of hypersimple sets, Pacific Journal of Mathematics, vol. 127 (1987), pp. 299-319.
    • (1987) Pacific Journal of Mathematics , vol.127 , pp. 299-319
  • 10
    • 84985407305 scopus 로고
    • A contiguous nonbranching degree
    • _, A contiguous nonbranching degree, Z. Math. Logik Grund. Math., vol. 35 (1989), pp. 375-383.
    • (1989) Z. Math. Logik Grund. Math. , vol.35 , pp. 375-383
  • 12
    • 85048710538 scopus 로고
    • Superbranching degrees
    • Springer-Verlag Lecture Notes in Mathematics
    • R. G. DOWNEY and J. MOURAD, Superbranching degrees, Proceedings Oberwolfach 1989, Springer-Verlag Lecture Notes in Mathematics, 1990, pp. 175-186.
    • (1990) Proceedings Oberwolfach 1989 , pp. 175-186
    • Downey, R.G.1    Mourad, J.2
  • 13
    • 38249023562 scopus 로고
    • Classification of degree classes associated with r.e. subspaces
    • R. G. DOWNEY and J. B. REMMEL, Classification of degree classes associated with r.e. subspaces, Annals of Pure Applied Logic, vol. 42 (1989), pp. 105-125.
    • (1989) Annals of Pure Applied Logic , vol.42 , pp. 105-125
    • Downey, R.G.1    Remmel, J.B.2
  • 16
    • 85029965337 scopus 로고    scopus 로고
    • Minimal pairs in initial segments of the recursively enumerable degrees
    • to appear
    • R. G. DOWNEY and M. STOB, Minimal pairs in initial segments of the recursively enumerable degrees, Israel Journal of Mathematics, to appear.
    • Israel Journal of Mathematics
    • Downey, R.G.1    Stob, M.2
  • 17
    • 38249043623 scopus 로고
    • Structural interactions of the recursively enumerable W- and T-degrees
    • _, Structural interactions of the recursively enumerable W- and T-degrees, Annals of Pure and Applied Logic, vol. 31 (1986), pp. 205-236.
    • (1986) Annals of Pure and Applied Logic , vol.31 , pp. 205-236
  • 18
    • 0141520359 scopus 로고
    • Splitting theorems in recursion theory
    • [ 18] _, Splitting theorems in recursion theory, Annals of Pure and Applied Logic, vol. 65 (1993), pp. 1-106.
    • (1993) Annals of Pure and Applied Logic , vol.65 , pp. 1-106
  • 20
    • 0001650450 scopus 로고
    • Reducibilities and completeness for sets of integers
    • R. FRIEDBERG and H. ROGERS, JR., Reducibilities and completeness for sets of integers, Z. Math. Logik Grundlagen Math., vol. 5 (1959), pp. 117-125.
    • (1959) Z. Math. Logik Grundlagen Math. , vol.5 , pp. 117-125
    • Friedberg, R.1    Rogers Jr., H.2
  • 24
    • 0000365074 scopus 로고
    • Embedding nondistributive lattices in the recursively enumerable degrees
    • (W. Hodges, editor), Springer-Verlag, New York
    • A. H. LACHLAN, Embedding nondistributive lattices in the recursively enumerable degrees, Conference in mathematical logic, London, 1970 (W. Hodges, editor), Springer-Verlag, New York, 1972, pp. 149-177.
    • (1972) Conference in Mathematical Logic, London, 1970 , pp. 149-177
    • Lachlan, A.H.1
  • 25
    • 0001617354 scopus 로고
    • A recursively enumerable degree that will not split over all lesser ones
    • _, A recursively enumerable degree that will not split over all lesser ones, Annals of Mathematical Logic, vol. 9 (1975), pp. 307-365.
    • (1975) Annals of Mathematical Logic , vol.9 , pp. 307-365
  • 26
    • 84966214199 scopus 로고
    • A completely mitotic nonrecursive recursively enumerable degree
    • R. E. LADNER, A completely mitotic nonrecursive recursively enumerable degree, Transactions of the American Mathematical Society, vol. 184 (1973), pp. 479-507.
    • (1973) Transactions of the American Mathematical Society , vol.184 , pp. 479-507
    • Ladner, R.E.1
  • 27
    • 0001176794 scopus 로고
    • The weak truth table degrees of recursively enumerable sets
    • R. E. LADNER and L. P. SASSO, JR., The weak truth table degrees of recursively enumerable sets, Annals of Mathematical Logic, vol. 8 (1975), pp. 429-448.
    • (1975) Annals of Mathematical Logic , vol.8 , pp. 429-448
    • Ladner, R.E.1    Sasso Jr., L.P.2
  • 30
  • 31
    • 0001503316 scopus 로고
    • The recursively enumerable degrees are dense
    • G. SACKS, The recursively enumerable degrees are dense, Annals of Mathematics, vol. 80 (1963), no. 2, pp. 211-231.
    • (1963) Annals of Mathematics , vol.80 , Issue.2 , pp. 211-231
    • Sacks, G.1
  • 32
    • 0040660626 scopus 로고
    • The density of infima in the recursively enumerable degrees
    • T. SLAMAN, The density of infima in the recursively enumerable degrees, Annals Pure and Applied Logic, vol. 52 (1991), pp. 155-179.
    • (1991) Annals Pure and Applied Logic , vol.52 , pp. 155-179
    • Slaman, T.1


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