|
ervadi |
|
|
|
Как известно отрицание континуум-гипотезы не противоворечит ZFC.
Также известно, что согласно теореме Скулема, модель для теории
действительных чисел может иметь произвольно-большую мощность.
В нестандартном анализе континуум действительных чисел расширяют гипердействительными произвольной мощности.
А возможно представить(построить) нестандартные модели как модели
для которых континуум-гипотеза неверна, тогда как для стандартной - истинна?
Будет ли это доказательством что отрицание КГ следует из теоремы Скулема о повышении мощности?
|
|
|
|
 |
|
Deggial |
|
|
|
i |
Тема перемещена из форума «Дискуссионные темы (М)» в форум «Математика (общие вопросы)»
Причина переноса: в соответствующий раздел |
|
|
|
|
|
