## Education

He obtained his Doctor of Philosophy from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski.

- Photos
- Works

- Photos
- Works

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