Оригинальные принципы множеств и большие кардиналы
Рефлексия, интенсиональность и согласованный выбор
978-3-639-49027-5
3639490274
84
2014-12-01
45.90 €
rus
https://images.our-assets.com/cover/230x230/9783639490275.jpg
https://images.our-assets.com/fullcover/230x230/9783639490275.jpg
https://images.our-assets.com/cover/2000x/9783639490275.jpg
https://images.our-assets.com/fullcover/2000x/9783639490275.jpg
В данной книге исследуется дедуктивная сила известного теоретико-множественного принципа рефлексии или отражения. Показывается, что введение этого принципа в системе множеств и классов позволяет выводить очень сильные утверждения, связанные с большими кардиналами. При этом приходится вместо аксиомы «каждое множество есть класс», вводить специальный "принцип интенсиональности". Тогда, проблема непротиворечивость рассматриваемых принципов сводится к непротиворечивости классической теории ZF , расширенной так называемой "аксиомой согласованного выбора" . Эта аксиома достаточно просто формулируются привычными терминами в языке ZF . Автор намерен придерживаться чисто синтаксического подхода, но в целях облегчения читаемости текста иногда говорится об универсумах, моделях, и употребляются выражения вида «выполняется», «верно», «имеет место» в духе неформального изложения.
https://www.morebooks.shop/books/ru/published_by/palmarium-academic-publishing/194450/products
Анализ
https://www.morebooks.shop/store/ru/book/%D0%BE%D1%80%D0%B8%D0%B3%D0%B8%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5-%D0%BF%D1%80%D0%B8%D0%BD%D1%86%D0%B8%D0%BF%D1%8B-%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2-%D0%B8-%D0%B1%D0%BE%D0%BB%D1%8C%D1%88%D0%B8%D0%B5-%D0%BA%D0%B0%D1%80%D0%B4%D0%B8%D0%BD%D0%B0%D0%BB%D1%8B/isbn/978-3-639-49027-5