Chen Chung Chang (Chinese: 张晨钟) was a

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

who worked in

model theory In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the ...

. He obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under

Alfred Tarski Alfred Tarski (, born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician ...

. He wrote the standard text on model theory. Chang's conjecture and

Chang's model In mathematical set theory, Chang's model is the smallest inner model of set theory closed under countable sequences. It was introduced by . More generally Chang introduced the smallest inner model closed under taking sequences of length less than ...

are named after him. He also proved the ordinal partition theorem (expressed in the arrow notation for

Ramsey theory Ramsey theory, named after the British mathematician and philosopher Frank P. Ramsey, is a branch of mathematics that focuses on the appearance of order in a substructure given a structure of a known size. Problems in Ramsey theory typically ask ...

) ω^ω→(ω^ω,3)², originally a problem of Erdős and Hajnal. He also introduced

MV-algebra In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation \oplus, a unary operation \neg, and the constant 0, satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasie ...

s as models for Łukasiewicz logic. Chang was a professor at the mathematics department of the

University of California, Los Angeles The University of California, Los Angeles (UCLA) is a public university, public Land-grant university, land-grant research university in Los Angeles, California. UCLA's academic roots were established in 1881 as a Normal school, teachers colle ...

Selected publications

* * * C. C. Chang. Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society, 88, 467–490, 1958,

External links

* 20th-century American mathematicians 21st-century American mathematicians Model theorists University of California, Berkeley alumni University of California, Los Angeles faculty 1927 births 2014 deaths {{mathematician-stub