천충창

천충창(天忠昌, 중국어: 天晨钟)은 모델 이론에 종사했던 수학자였다.그는 1955년 알프레드 타르스키 휘하의 "관계형식의 카디널과 오더럴 인자화"에 관한 박사학위를 버클리 대학에서 취득했다.그는 모델 이론에 관한 표준 텍스트인 Chang & Keisler(1990)를 썼다.장문휴의 추측과 장문휴의 모델은 그의 이름을 따서 명명되었다.그는 또한 원래 에르드스와 하지날(Hajnal)의 문제였던 ²서수 분할 정리(램지 이론의 화살표 표기법에서 표현) Ω^ω→(Ω^ω,3)를 증명했다.그는 또한 MV-알제브라를 우카시예비치 로직의 모델로 소개했다.장 교수는 미국 로스앤젤레스 캘리포니아대 수학과 교수였다.

선택한 게시물

Chang, Chen Chung; Keisler, H. Jerome (1966), Continuous Model Theory, Annals of Mathematical Studies, vol. 58, Princeton University Press, ISBN 0691079293; xii+165 pp.{{citation}}: CS1 maint : 포스트스크립트(링크)
Chang, Chen Chung; Keisler, H. Jerome (1990), Model Theory, Studies in Logic and the Foundations of Mathematics (3rd ed.), Elsevier, ISBN 978-0-444-88054-3
C. C. Chang.다값 로직의 대수적 분석.미국수학협회 88, 467–490, 1958, doi:10 .1090/S0002-9947-1958-0094302-9

수학자에 대한 이 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.