Chen Chung Chang

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

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

• Chen Chung Chang в Проекте математической генеалогии

.