Чэнь Чунг Чанг

Чэнь Чун Чан ( китайский :张晨钟) был математиком , работавшим в области теории моделей . Он получил докторскую степень в Беркли в 1955 году по теме «Кардинальная и порядковая факторизация типов отношений» под руководством Альфреда Тарского . Он написал стандартный текст Чанга и Кейслера (1990) по теории моделей. Гипотеза Чанга и модель Чанга названы в его честь. Он также доказал теорему о порядковом разбиении (выраженную в стрелочной нотации для теории Рамсея ) ω ^ω → (ω ^ω ,3) ² , первоначально являвшуюся проблемой Эрдёша и Хайнала . Он также ввел MV-алгебры в качестве моделей для логики Лукасевича . Чанг был профессором на математическом факультете Калифорнийского университета в Лос-Анджелесе .

Избранные публикации

Чан, Чэнь Чан; Кейслер, Х. Джером (1966), Теория непрерывных моделей, Annals of Mathematical Studies, т. 58, Princeton University Press, ISBN 0691079293; xii+165 стр.{{citation}}: CS1 maint: постскриптум ( ссылка )
Чан, Чэнь Чан; Кейслер, Х. Джером (1990), Теория моделей, Исследования по логике и основаниям математики (3-е изд.), Elsevier , ISBN 978-0-444-88054-3
CC Chang. Алгебраический анализ многозначных логик. Труды Американского математического общества, 88, 467–490, 1958, doi :10.1090/S0002-9947-1958-0094302-9