Чен Чунг Чанг
(Перенаправлено с Чен-Чунг Чанга )
СС Чанг | |
---|---|
Рожденный | 1927 Тяньцзинь, Китай |
Умер | 17 июля 2014 г. (86 или 87 лет) Санта-Кларита, Калифорния |
Известный | Гипотеза Чанга |
Научная карьера | |
Поля | Математика |
Учреждения | Калифорнийский университет, Лос-Анджелес |
Докторантура | Альфред Тарский |
Чэнь Чунг Чанг ( китайский : 张晨钟 ) был математиком , занимавшимся теорией моделей . Он получил докторскую степень в Беркли в 1955 году по теме «Кардинальная и порядковая факторизация типов отношений» под руководством Альфреда Тарского . Он написал стандартный текст Чанг и Кейслер (1990) по теории моделей. Гипотеза Чанга и модель Чанга названы в его честь. Он также доказал теорему о порядковом разделе (выраженную в стрелочных обозначениях для теории Рамсея ) ω ой →(ох ой ,3) 2 Первоначально это была проблема Эрдеша и Хайнала . Он также представил MV-алгебры как модели логики Лукасевича . Чанг был профессором математического факультета Калифорнийского университета в Лос-Анджелесе .
Избранные публикации
[ редактировать ]- Чанг, Чен Чунг; Кейслер, Х. Джером (1966), Теория непрерывных моделей , Анналы математических исследований, том. 58, Издательство Принстонского университета, ISBN 0691079293 ; xii+165 стр.
{{citation}}
: CS1 maint: постскриптум ( ссылка ) - Чанг, Чен Чунг; Кейслер, Х. Джером (1990), Теория моделей , Исследования по логике и основам математики (3-е изд.), Elsevier , ISBN 978-0-444-88054-3
- КК Чанг. Алгебраический анализ многозначных логик. Труды Американского математического общества, 88, 467–490, 1958 г., два : 10.1090/S0002-9947-1958-0094302-9