-
1
-
-
0010749665
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|