Модель Мостовского - Mostowski model

В математике теория множеств, то Модель Мостовского это модель теории множеств с атомы где полный аксиома выбора не удается, но каждый набор может быть линейно упорядоченный. Он был представлен Мостовский  (1939 ). Модель Мостовского может быть построена как модель перестановки соответствующий группа всех автоморфизмов заказанного набора рациональное число и идеал конечных подмножеств рациональных чисел.

Рекомендации

  • Мостовский, Анджей (1939), "Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip", Fundamenta Mathematicae, 32 (1): 201–252