Education
He obtained his Doctor of Philosophy from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski.
He obtained his Doctor of Philosophy 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 Move Files -algebras as models for Łukasiewicz logic.
Chang is emeritus professor at the mathematics department of the University of California, Los Los Angeles