Английская Википедия:Ground axiom

Материал из Онлайн справочника
Версия от 05:51, 17 марта 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} In set theory, the '''ground axiom''' states that the universe of set theory is not a nontrivial set-forcing extension of an inner model. The axiom was introduced by {{harvtxt|Hamkins|2005}} and {{harvtxt|Reitz|2007}}. ==References== *{{citation|first= Joel David|last= Hamkins|author-link= Joel David Hamkins|title=The Ground Ax...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

In set theory, the ground axiom states that the universe of set theory is not a nontrivial set-forcing extension of an inner model. The axiom was introduced by Шаблон:Harvtxt and Шаблон:Harvtxt.

References


Шаблон:Mathlogic-stub