Chen Chung Chang

Template:Short description Chen Chung Chang (Template:Zh) was a mathematician who worked in model theory. Typically known by his initials "C.C." he obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski. He then became a professor at the mathematics department of the University of California, Los Angeles, where he remained for the rest of his career.

Chang wrote the standard text 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)², originally a problem of Erdős and Hajnal. He also introduced MV-algebras as models for Łukasiewicz logic.

Selected publications

• Chang, Chen Chung; Keisler, H. Jerome (1966), Continuous Model Theory, Annals of Mathematics Studies, vol. 58, Princeton University Press, ISBN 0691079293 (xii+165 pp.)
• 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,

See also

• Wilfrid Hodges