Chen Chung Chang

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.

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.

Chang was a professor at the mathematics department of the University of California, Los Angeles.