モストフスキーモデル

数学の集合論において、モストフスキーモデルは、選択公理が完全には成立しないが、すべての集合を線形に順序付けることができる、原子を含む集合論のモデルである。これは、モストフスキー(1939)によって導入された。モストフスキーモデルは、有理数の順序付き集合のすべての自己同型群と、有理数の有限部分集合 のイデアルに対応する順列モデル として構築できる。