Chen Chung Chang
Chen Chung Chang is a mathematician who works 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 on model theory. Chang's conjecture is named after him, as is ccc forcing. 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 is emeritus professor at the mathematics department of the UCLA.
References
- 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
External links
Retrieved from : http://en.wikipedia.org/wiki/Chen_Chung_Chang