Loading article…
陳晨钟（中国語:张晨钟）は、モデル理論を専門とする数学者。イニシャル「CC」でよく知られ、 1955年にバークレー大学でアルフレッド・タルスキーの指導の下、「関係型の基数および順序因子分解」で博士号を取得した。その後、カリフォルニア大学ロサンゼルス校の数学科の教授となり、残りのキャリアをそこで過ごした。[ 1 ]
チャンは、モデル理論に関する標準的なテキストであるChang & Keisler (1990)を執筆した。チャンの予想とチャンのモデルは、彼にちなんで名付けられている。彼はまた、元々はエルデシュとハイナルの問題であった順序分割定理 (ラムゼー理論の矢印表記で表す) ω ω →(ω ω ,3) 2 を証明した。彼はまた、ルカシェヴィッチ論理のモデルとしてMV 代数を導入した。