Теодор Сламан - Theodore Slaman - Wikipedia

Теодор Аллен Сламан
Тед Сламан.jpg
Родившийся17 апреля 1954 г. (1954-04-17) (возраст66)
ГражданствоАмериканец
Альма-матерГарвардский университет
Научная карьера
ПоляМатематика
УчрежденияКалифорнийский университет в Беркли
ДокторантДжеральд Э. Сакс

Теодор Аллен Сламан (родился 17 апреля 1954 г.) - профессор математики в Калифорнийский университет в Беркли кто работает в теория рекурсии.

Сламан и В. Хью Вудин сформулировал гипотезу о би-интерпретируемости Степени Тьюринга, который предполагает, что частичный порядок степеней Тьюринга равен логически эквивалентный к арифметике второго порядка. Они показали, что гипотеза би-интерпретируемости эквивалентна отсутствию нетривиального автоморфизма степеней Тьюринга. Они также продемонстрировали ограничения на возможные автоморфизмы степеней Тьюринга, показав, что любой автоморфизм будет арифметически определим.

Рекомендации

  • Сламан, Теодор А. (1991). «Дипломные структуры». Труды Международного конгресса математиков, Vol. I, II (Киото, 1990). С. 303–316. МИСТЕР  1159219.

внешняя ссылка