Chen Chung Chang

Chen Chung Chang ( chino :张晨钟) fue un matemático que trabajó en teoría de modelos . Obtuvo su doctorado en Berkeley en 1955 sobre "Factorización cardinal y ordinal de tipos de relación" con Alfred Tarski . 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 flecha para la teoría de Ramsey ) ω ^ω →(ω ^ω ,3) ² , originalmente un problema de Erdős y Hajnal . También introdujo las álgebras MV como modelos para la lógica de Łukasiewicz . Chang fue profesor en el departamento de matemáticas de la Universidad de California, Los Ángeles .

Publicaciones seleccionadas

Chang, Chen Chung; Keisler, H. Jerome (1966), Teoría de modelos continuos, Anales de estudios matemáticos, vol. 58, Princeton University Press, ISBN 0691079293; xii+165 págs.{{citation}}: Mantenimiento de CS1: postscript ( enlace )
Chang, Chen Chung; Keisler, H. Jerome (1990), Teoría de modelos, Estudios de 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 polivalentes. Transactions of the American Mathematical Society, 88, 467–490, 1958, doi :10.1090/S0002-9947-1958-0094302-9