Книга: Валерий Ганов «Оригинальные принципы множеств и большие кардиналы»
Производитель: "Palmarium Academic Publishing" В данной книге исследуется дедуктивная сила известного теоретико-множественного принципа рефлексии или отражения. Показывается, что введение этого принципа в системе множеств и классов позволяет выводить очень сильные утверждения, связанные с большими кардиналами. При этом приходится вместо аксиомы каждое множество естькласс, вводить специальный `принцип интенсиональности`. Тогда, проблема непротиворечивость рассматриваемых принципов сводится к непротиворечивости классическойтеории ZF, расширенной так называемой `аксиомой согласованного выбора` . Эта аксиома достаточно просто формулируются привычными терминами в языке ZF . Автор намеренпридерживаться чисто синтаксического подхода, но в целях облегчения читаемости текста иногда говорится об универсумах, моделях, и употребляются выражения вида выполняется, верно, имеет место в духе неформального изложения. ISBN:9783639490275 Издательство: "Palmarium Academic Publishing" (2014)
ISBN: 9783639490275 |
См. также в других словарях:
Лауреаты Сталинской премии за выдающиеся изобретения и коренные усовершенствования методов производственной работы — Сталинская премия за выдающиеся изобретения и коренные усовершенствования методов производственной работы форма поощрения граждан СССР за значительные заслуги в техническом развитии советской индустрии, разработки новых технологий, модернизации… … Википедия
Сталинская премия за выдающиеся изобретения и коренные усовершенствования методов производственной работы (1951) — Эта страница информационный список. Основные статьи: Сталинская премия, Сталинская премия за выдающиеся изобретения и коренные усовершенствования методов производственной работы … Википедия
Русские писатели Алтая — … Википедия
Личный чемпионат России по спидвею среди юниоров — Личный чемпионат России по спидвею среди юниоров соревнование среди лучших спидвейных гонщиков России, не достигших возраста 21 года. Последний финал чемпионата состоялся 25 сентября 2012 года в Балаково. Медалисты Сезон Финал Чемпион… … Википедия