Цэ-Аш уже полвека как не "гипотеза контунуума".

Хотя не буду придираться...

Да, да, твои манускрипты нужно читать!!!

(Хотя определись-ка пожалуйста ты язык разрабатываешь или теорию???)

Если только язык - то хорошо бы сформулировать штуки из которых следует что 2^омега это омега-2.

А если теория - то я хотел бы сравнить твою Цэ-Аш с доказательством из V=L!

Простенький вопрос по детской логике: следует ли из твоих гомотопических соображений принцип Йенсена (по-английски Diamond)????

(Reply to this) (Thread)

cпасибо!

я не понимаю, я не множественник..даже мой лирический андроидальный герой понимает больше меня, потому что считать умеет.

а пока котороткое замечание: заключение 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 to this) (Parent)

а вообще, может диамонды тоже найдут гомотопический смысл...спасибо!

(Reply to this) (Parent)