Теодор Слэмман

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

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

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

Ссылки

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

Внешние ссылки

• домашняя страница .
• Теодор Сламан в проекте «Математическая генеалогия»