Theodore Slaman - Theodore Slaman - Wikipedia

Theodore Allen Slaman
narozený	17.dubna 1954 (1954-04-17) (stáří66)
Státní občanství	americký
Alma mater	Harvardská Univerzita
Vědecká kariéra
Pole	Matematika
Instituce	University of California, Berkeley
Doktorský poradce	Gerald E. Pytle

Theodore Allen Slaman (narozený 17 dubna 1954) je profesorem matematiky na University of California, Berkeley kdo pracuje v teorie rekurze.

Slaman a W. Hugh Woodin formuloval bi-interpretovatelnou domněnku pro Turingovy stupně, což předpokládá, že částečný řád Turingových stupňů je logicky ekvivalentní do aritmetiky druhého řádu. Ukázali, že bi-interpretovatelná domněnka je ekvivalentní tomu, že neexistuje žádný netriviální automorfismus Turingových stupňů. Rovněž vystavili limity možných automorfismů Turingových stupňů tím, že ukázali, že jakýkoli automorfismus bude aritmeticky definovatelný.

Reference

• Slaman, Theodore A. (1991). "Titulní struktury". Proceedings of the International Congress of Mathematicians, Vol. I, II (Kjóto, 1990). 303–316. PAN  1159219.

externí odkazy

• domovská stránka.
• Theodore Slaman na Matematický genealogický projekt

Tento článek o americkém matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.