Chen Chung Chang


Chen Chung Chang (chino: 张 晨钟) fue un matemático que trabajó en la 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 de Chang y 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) 2 , originalmente un problema de Erdős y Hajnal. También introdujo MV-álgebras como modelos para la lógica de Łukasiewicz . Chang era profesor en el departamento de matemáticas de la Universidad de California en Los Ángeles .