Chen Chung Chang

Chen Chung Chang ( en chino :张晨钟) fue un matemático que trabajó en teoría de modelos . Conocido habitualmente por sus iniciales "CC", obtuvo su doctorado en Berkeley en 1955 con una tesis sobre "Factorización cardinal y ordinal de tipos de relaciones" bajo la dirección de Alfred Tarski . Posteriormente, se convirtió en profesor del departamento de matemáticas de la Universidad de California en Los Ángeles , donde permaneció durante el resto de su carrera. ^{[ 1 ]}

Chang escribió el texto estándar Chang & Keisler (1990) sobre teoría de modelos. La conjetura de Chang y el modelo de Chang llevan su nombre. También demostró el teorema de partición ordinal (expresado en la notación de flechas para la teoría de Ramsey ) ω ^ω →(ω ^ω ,3) ² , originalmente un problema de Erdős y Hajnal . Además, introdujo las álgebras MV como modelos para la lógica de Łukasiewicz .

• Chang, Chen Chung; Keisler, H. Jerome (1966), Continuous Model Theory , Annals of Mathematics Studies , vol.  58, Princeton University Press, ISBN 0691079293(xii+165 págs.)
• Chang, Chen Chung; Keisler, H. Jerome (1990), Teoría de modelos , Estudios en lógica y fundamentos de las matemáticas (3.ª  ed.), Elsevier , ISBN 978-0-444-88054-3
• CC Chang. Análisis algebraico de lógicas multivaluadas. Transactions of the American Mathematical Society, 88, 467–490, 1958, doi : 10.1090/S0002-9947-1958-0094302-9

• Wilfrid Hodges