-
Allen Slaman (born
April 17, 1954) is a
professor of
mathematics at the
University of California,
Berkeley who
works in
recursion theory.
Slaman and W...
- Turing-equivalent to B′. The
converse of this
implication is not true. (S**** and
Slaman, 1999) The
function mapping X to X′ is
definable in the
partial order of...
-
degrees containing com****bly
enumerable sets. A deep
theorem of S**** and
Slaman states that the
function mapping a
degree x to the
degree of its Turing...
-
Hilde Slaman van
Doorn (born 19 July 1943) is a
former Dutch sprinter and middle-distance runner.
Slaman van
Doorn won the KNAU Cup, the
award for the...
- ****uming the
consistency of an Erdős cardinal.
Marcia Groszek and
Theodore Slaman gave
examples of
statements independent of ZFC
concerning the structure...
-
example is
shown to the right. L. A.
Harrington and T. A.
Slaman (see Nies, S**** &
Slaman (1998)): The first-order
theory of the r.e.
degrees in the...
- Sy Friedman, Leo Harrington,
Richard S****,
Steve Simpson and
Theodore Slaman.
Degrees of unsolvability,
Princeton University Press 1963, 1966 Saturated...
- {\displaystyle b} respectively, are not isomorphic. In
joint work with
Theodore Slaman, S****
showed that the
Turing jump is
definable in D {\displaystyle {\mathcal...
-
Skolem (Norway 1887–1963)
Dimiter Skordev (Bulgaria, born 1936)
Theodore Slaman (US, born 1954)
Raymond Smullyan (US, 1919–2017)
William of
Soissons (France...
- ISSN 0092-7325. Achtermann, H. J.; Hong, J. G.; Magnus, G.; Aziz, R. A.;
Slaman, M. J. (1993). "Experimental
determination of the
refractivity virial coefficients...
