Альфапедия

- 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

Воот, Р.Л. (1963),

Последняя правка сделана 2021-06-10 17:49:30

Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).

Обратная связь: support@alphapedia.ru

Соглашение

О проекте