Chen Chung Chang

CC Chang
Född	1927 Tianjin, Kina
dog	17 juli 2014 (86 eller 87 år) Santa Clarita, Kalifornien
Känd för	Changs gissning
Vetenskaplig karriär
Fält	Matematik
institutioner	University of California, Los Angeles
Doktorand rådgivare	Alfred Tarski

Chen Chung Chang (kinesiska: 张晨钟) var en matematiker som arbetade med modellteori . Han fick sin doktorsexamen från Berkeley 1955 på "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski . Han skrev standardtexten Chang & Keisler (1990) om modellteori. Changs gissningar och Changs modell är uppkallade efter honom. Han bevisade också ordinal partitionssatsen (uttryckt i pilnotationen för Ramsey-teorin ) ω ^ω →(ω ^ω ,3) ² , ursprungligen ett problem för Erdős och Hajnal . Han introducerade också MV-algebror som modeller för Łukasiewicz-logik . Chang var professor vid matematikavdelningen vid University of California, Los Angeles .

Utvalda publikationer

•   Chang, Chen Chung; Keisler, H. Jerome (1966), Continuous Model Theory , Annals of Mathematical Studies, vol. 58, Princeton University Press, ISBN 0691079293 ; xii+165 s. {{ citat }} : CS1 underhåll: efterskrift ( länk )
•   Chang, Chen Chung; Keisler, H. Jerome (1990), Model Theory , Studies in Logic and the Foundations of Mathematics (3:e upplagan), Elsevier , ISBN 978-0-444-88054-3
• CC Chang. Algebraisk analys av många värdefulla logiker. Transactions of the American Mathematical Society, 88, 467–490, 1958, doi : 10.1090/S0002-9947-1958-0094302-9

externa länkar

• Chen Chung Chang vid Mathematics Genealogy Project