Chinese American mathematician
Chen Chung Chang (Chinese : 张晨钟 ) was a mathematician who worked in model theory . He obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski . He wrote the standard text Chang & Keisler (1990) on model theory. Chang's conjecture and Chang's model are named after him. He also proved the ordinal partition theorem (expressed in the arrow notation for Ramsey theory ) ωω →(ωω ,3)2 , originally a problem of Erdős and Hajnal . He also introduced MV-algebras as models for Łukasiewicz logic . Chang was a professor at the mathematics department of the University of California, Los Angeles .
Selected publications
Chang, Chen Chung; Keisler, H. Jerome (1966), Continuous Model Theory , Annals of Mathematical Studies, vol. 58, Princeton University Press, ISBN 0691079293 ; xii+165 pp. {{citation }}
: CS1 maint: postscript (link )
Chang, Chen Chung; Keisler, H. Jerome (1990), Model Theory , Studies in Logic and the Foundations of Mathematics (3rd ed.), Elsevier , ISBN 978-0-444-88054-3
C. C. Chang. Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society, 88, 467–490, 1958, doi :10.1090/S0002-9947-1958-0094302-9
External links
International National Academics Other