Chen Chung Chang - Chen Chung Chang

Chen Chung Chang (Chinese: 张 晨钟) was a matematik kdo pracoval v teorie modelů. Získal doktorát z Berkeley v roce 1955 o "Cardinal and Ordinal Factorization of Relation Types" pod Alfred Tarski. Napsal standardní text Chang & Keisler (1990) na teorii modelu. Changova domněnka a Changův model jsou pojmenovány po něm. Rovněž prokázal větu o řadovém rozdělení (vyjádřenou v šípová notace pro Ramseyova teorie ) ω^ω→ (ω^ω,3)², původně problém Erdős a Hajnal. Také představil MV-algebry jako modely pro Łukasiewiczova logika. Chang byl profesorem na katedře matematiky University of California, Los Angeles.

Vybrané publikace

• Chang, Chen Chung; Keisler, H. Jerome (1966), Teorie spojitého modelu, Annals of Mathematical Studies, 58, Princeton University Press; xii + 165 stran
• Chang, Chen Chung; Keisler, H. Jerome (1990), Teorie modelu „Studies in Logic and the Foundations of Mathematics (3. vydání), Elsevier, ISBN  978-0-444-88054-3
• C. C. Chang. Algebraická analýza mnohocenných logik. Transaction of the American Mathematical Society, 88, 467–490, 1958, doi:10.1090 / S0002-9947-1958-0094302-9

externí odkazy

• Chen Chung Chang na Matematický genealogický projekt

Tento článek o matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.