хомотопически-инвариантная Гипотеза Континуума
оказывается, для гипотезы континуума просто сформулировать гомотопически-инвариантный вариант, который не является независимым от аксиом теории множеств. Насколько это глубоко это ( технически тривиальное )
Comments 3
Хотя не буду придираться...
Да, да, твои манускрипты нужно читать!!!
(Хотя определись-ка пожалуйста ты язык разрабатываешь или теорию???)
Если только язык - то хорошо бы сформулировать штуки из которых следует что 2^омега это омега-2.
А если теория - то я хотел бы сравнить твою Цэ-Аш с доказательством из V=L!
Простенький вопрос по детской логике: следует ли из твоих гомотопических соображений принцип Йенсена (по-английски Diamond)????
Reply
я не понимаю, я не множественник..даже мой лирический андроидальный герой понимает больше меня, потому что считать умеет.
а пока котороткое замечание: заключение Jensen's covering lemma может быть сформулировано так (проверь!): для любого X или X корасслоение ( 0--(c)--->X ), или есть X` в L, такой что X---(c)--> X' корасслоение.
про даймонды подумаю, на первый взгляд надо в формализм модельной катерогии добавить
"(почти)функторы" X |---> \cup X and A ---> {A} . (the latter isnt a functor..),
c ними может получится, мб
Reply
Reply
Leave a comment