Jump to content

Минимальная модель (теория множеств)

В теории множеств разделе математики, минимальная модель — это минимальная стандартная модель ZFC , .Минимальная модель была введена Шепердсоном ( 1951 , 1952 , 1953 ) и заново открыта Коэном (1963) .

Существование минимальной модели не может быть доказано в ZFC , даже если предположить, что ZFC непротиворечив , но следует из существования стандартной модели следующим образом. V существует множество W Если во вселенной фон Неймана , которое является стандартной моделью ZF, а κ это набор ординалов, которые встречаются в W , то L κ — класс конструктивных множеств W ординал . Если существует набор, являющийся стандартной моделью ZF, то наименьшим таким набором является такой L κ . Это множество называется минимальной моделью ZFC и также удовлетворяет аксиоме конструктивности V=L. Из нисходящей теоремы Левенхайма – Скулема следует, что минимальная модель (если она существует как множество) является счетным множеством. Точнее, каждому элементу минимальной модели можно дать имя; другими словами, существует предложение первого порядка φ ( x ) такое, что s — единственный элемент минимальной модели, для которого φ ( s ) истинно.

Коэн (1963) предложил другую конструкцию минимальной модели в виде сильно конструктивных множеств, используя модифицированную форму конструктивной вселенной Гёделя.

Конечно, любая непротиворечивая теория должна иметь модель, поэтому даже в минимальной модели теории множеств есть множества, которые являются моделями ZFC (при условии, что ZFC непротиворечив). Однако эти модели наборов нестандартны. В частности, они не используют обычные отношения членства и не являются достаточно обоснованными.

Если стандартной модели не существует, то минимальная модель не может существовать как набор. Однако в этом случае класс всех конструктивных множеств играет ту же роль, что и минимальная модель, и обладает аналогичными свойствами (хотя теперь это собственный класс, а не счетное множество).

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

  • Коэн, Пол Дж. (1963), «Минимальная модель теории множеств», Bull. амер. Математика. Соц. , 69 : 537–540, doi : 10.1090/S0002-9904-1963-10989-1 , MR   0150036
  • Шепердсон, Дж. К. (1951), «Внутренние модели теории множеств. I» (PDF) , Журнал символической логики , 16 (3), Ассоциация символической логики : 161–190, doi : 10.2307/2266389 , JSTOR   2266389 , MR   0045073
  • Шепердсон, Дж. К. (1952), «Внутренние модели теории множеств. II», Журнал символической логики , 17 (4), Ассоциация символической логики: 225–237, doi : 10.2307/2266609 , JSTOR   2266609 , MR   0053885
  • Шепердсон, Дж. К. (1953), «Внутренние модели теории множеств. III», Журнал символической логики , 18 (2), Ассоциация символической логики: 145–167, doi : 10.2307/2268947 , JSTOR   2268947 , MR   0057828
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 36ff4ae021154318e05ca8df308276f6__1682303760
URL1:https://arc.ask3.ru/arc/aa/36/f6/36ff4ae021154318e05ca8df308276f6.html
Заголовок, (Title) документа по адресу, URL1:
Minimal model (set theory) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)