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 relaciones" con Alfred Tarski . Escribió el texto estándar 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 flechas 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 era profesor en el departamento de matemáticas de la Universidad de California en Los Ángeles .

Publicaciones Seleccionadas

Chang, Chen Chung; Keisler, H. Jerome (1966), Teoría de modelos continuos, Annals of Mathematical Studies, vol. 58, Prensa de la Universidad de Princeton, ISBN 0691079293; xii+165 págs.{{citation}}: Mantenimiento CS1: posdata ( 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 multivaluadas. Transacciones de la Sociedad Matemática Estadounidense, 88, 467–490, 1958, doi :10.1090/S0002-9947-1958-0094302-9