Год выпуска: 2014 Автор: Валерий Ганов Издательство: Palmarium Academic Publishing Страниц: 84 ISBN: 9783639490275
Описание
В данной книге исследуется дедуктивная сила известного теоретико-множественного принципа рефлексии или отражения. Показывается, что введение этого принципа в системе множеств и классов позволяет выводить очень сильные утверждения, связанные с большими кардиналами. При этом приходится вместо аксиомы «каждое множество есть класс», вводить специальный "принцип интенсиональности". Тогда, проблема непротиворечивость рассматриваемых принципов сводится к непротиворечивости классической теории ZF , расширенной так называемой "аксиомой согласованного выбора" . Эта аксиома достаточно просто формулируются привычными терминами в языке ZF . Автор намерен придерживаться чисто синтаксического подхода, но в целях облегчения читаемости текста иногда говорится об универсумах, моделях, и употребляются выражения вида «выполняется», «верно», «имеет место» в духе неформального изложения.
Спасибо вам большое за консультацию!!! Теперь если что только к вам буду обращаться!!! вот только с одной стороны стыдно что я не сама пишу, я сначала пыталась найти что нибудь, но было безполезно и мало времени, вам большой и низкий поклон!!! вот только осталось защитить как надо!!!