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, structure, space, models, and change. History On ...

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 s ...

. He obtained his PhD from

Berkeley Berkeley most often refers to: *Berkeley, California, a city in the United States **University of California, Berkeley, a public university in Berkeley, California * George Berkeley (1685–1753), Anglo-Irish philosopher Berkeley may also refer ...

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 a ...

. He wrote the standard text on model theory.

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 (ω2,ω1) for a countable language has an elementary submodel of type (ω1, ω). A model is of type (α,β) if ...

and Chang's model 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 a ...

) ω^ω→(ω^ω,3)², originally a problem of

Erdős Erdős, Erdos, or Erdoes is a Hungarian surname. People with the surname include: * Ágnes Erdős (born 1950), Hungarian politician * Brad Erdos (born 1990), Canadian football player * Éva Erdős (born 1964), Hungarian handball player * Józse ...

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 In mathematics and philosophy, Łukasiewicz logic ( , ) is a non-classical, many-valued logic. It was originally defined in the early 20th century by Jan Łukasiewicz as a three-valued logic;Łukasiewicz J., 1920, O logice trójwartościowej (in P ...

. 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 land-grant research university in Los Angeles, California. UCLA's academic roots were established in 1881 as a teachers college then known as the southern branch of the California St ...

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