Chen Chung Chang
Encyclopedia
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. 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 is emeritus professor at the mathematics department of the UCLA
.
Model theory
In mathematics, model theory is the study of mathematical structures using tools from mathematical logic....
. He obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski
Alfred Tarski
Alfred Tarski was a Polish logician and mathematician. Educated at the University of Warsaw and a member of the Lwow-Warsaw School of Logic and the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and carried out research in mathematics at the University of...
. He wrote the standard text on model theory. Chang's conjecture
Chang's conjecture
In model theory, a branch of mathematical logic, Chang's conjecture, attributed to Chen Chung Chang by , states that every model of type for a countable language has an elementary submodel of type . A model is of type if it is of cardinality α and a unary relation is represented by a subset of...
is named after him. He also proved the ordinal partition theorem (expressed in the arrow notation for Ramsey theory
Ramsey theory
Ramsey theory, named after the British mathematician and philosopher Frank P. Ramsey, is a branch of mathematics that studies the conditions under which order must appear...
) ωω→(ωω,3)2, originally a problem of Erdős
Paul Erdos
Paul Erdős was a Hungarian mathematician. Erdős published more papers than any other mathematician in history, working with hundreds of collaborators. He worked on problems in combinatorics, graph theory, number theory, classical analysis, approximation theory, set theory, and probability theory...
and Hajnal
András Hajnal
András Hajnal is an emeritus professor of mathematics at Rutgers University and a member of the Hungarian Academy of Sciences known for his work in set theory and combinatorics.-Biography:Hajnal was born on 13 May 1931, in Hungary....
. He is emeritus professor at the mathematics department of the UCLA
University of California, Los Angeles
The University of California, Los Angeles is a public research university located in the Westwood neighborhood of Los Angeles, California, USA. It was founded in 1919 as the "Southern Branch" of the University of California and is the second oldest of the ten campuses...
.