-
1
-
-
0009915603
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
-
11
-
-
84967792505
-
T-degrees, jump classes and strong reducibilities
-
R. G. DOWNEY and C. G. JOCKUSCH, JR., T-degrees, jump classes and strong reducibilities, Transactions of the American Mathematical Society, vol. 301 (1987), pp. 103-136.
-
(1987)
Transactions of the American Mathematical Society
, vol.301
, pp. 103-136
-
-
Downey, R.G.1
Jockusch Jr., C.G.2
-
12
-
-
85048710538
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
28
-
-
0010173843
-
-
this JOURNAL
-
M. LERMAN and J. B. REMMEL, The universal splitting property, II, this JOURNAL, vol. 49 (1984), pp. 137-150.
-
(1984)
The Universal Splitting Property, II
, vol.49
, pp. 137-150
-
-
Lerman, M.1
Remmel, J.B.2
-
30
-
-
0003719918
-
-
North-Holland, Amsterdam
-
_, Classical recursion theory, North-Holland, Amsterdam, 1990.
-
(1990)
Classical Recursion Theory
-
-
-
31
-
-
0001503316
-
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
-
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
|