- American Forest & Paper Association

редактировать
было показано Elsevier
Перейти к навигации
Перейти к поиску.

В теории моделей

, ветвьматематической логики ,гипотеза Чанга, приписывается к Chen Chung Chang автор Vaught (1963 , стр. 309) утверждает, что каждая модель типа (ω
) для счетного языка имеет элементарную подмодель типа (ω 1, ω). Модель тип (α, β), если она имеет мощность α, а унарное отношение имеет подмножеством мощности β. Обычное обозначение: (ω 2, ω 1) ↠ (ω 1, ω) {\ displaystyle (\ omega _ {2}, \ omega _ {1}) \ twoheadrightarrow (\ omega _ {1}, \ omega)}.

аксиома конструктивности

подразумевает, что гипотеза Чанга неверна. Сильвер доказал непротиворечивость гипотезы Чанга из непротиворечивости ωкардинала Эрдеша . Ханс-Дитер Дондер показал обратную импликацию: если CC выполняется, то ω 2 равно ω 1-Erdős в
В более общем плане гипотеза Чанга для двух пар (α, β), (γ, δ) кардиналов - это утверждение, что каждая модель типа (α, β) для счетного языка имеет элементарную подмодель типа (γ, δ). Согласованность (ω 3, ω 2) ↠ (ω 2, ω 1) {\ displaystyle (\ omega _ {3}, \ omega _ {2}) \ twoheadrightarrow (\ omega _ {2}, \ omega _ {1})}
Лавером из следовать огромного кардиналаСсылки
  • Чанг, Чен Чунг;

    Кейслер, Х. Джером

  • (1990), Теория моделей, Исследования по логике и основам математики (3-е изд.),
    , ISBN
    978-0-444-88054 -3
    Последняя правка сделана 2021-06-10 17:49:30
    Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
    Обратная связь: support@alphapedia.ru
    Соглашение
    О проекте