チャンのモデル

数学の集合論において、チャンのモデルは、可算な数列の下で閉じた集合論の最小の内部モデルです。これはチャン(1971) によって導入されました。より一般的には、チャンは、任意の無限基数κ に対して、κ 未満の長さの数列を取ることで閉じた最小の内部モデルを導入しました。κ が可算の場合、これは構成可能宇宙であり、κ が最初の非可算基数の場合、これはチャンのモデルです。

チャンのモデルはZFのモデルです。ケネス・クネンは、クネン (1973)で、十分に大きな基数、たとえば無数に多い測定可能な基数がある場合、チャンのモデルでは選択公理が成立しないことを証明しました。