Читать онлайн «Недостижимость и субнедостижимость. Часть 2»

БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Александр Киселев Недостижимость и субнедостижимость В двух частях Часть II Минск “Издательский центр БГУ” 2011 УДК 510. 227 Киселев, А. А. Недостижимость и субнедостижимость. В 2 ч. Ч. 2 / Александр Киселев. – Минск: Изд. центр БГУ, 2011. – 155 с. – ISBN 978-985-476-935-6. Данная работа представляет собой перевод с английского языка мо- нографии Киселева А. А. под тем же названием, содержащей доказатель- ство (в ZF ) несуществования больших кардиналов, 1-е издание которой вышло в свет в 2000 году. Часть II содержит приложения аппарата субне- достижимых кардиналов и его основных средств — теорий редуцирован- ных формульных спектров и матриц, диссеминаторов и других, которые используются в этом доказательстве и представлены здесь в их более про- зрачной и детализированной форме. Большое внимание уделяется более глубокой разработке и культивированию базовых идей, служащих основа- ниями для основных конструкций и рассуждений. Доказательство теоре- мы о несуществовании больших кардиналов представлено в его подробном виде. Излагается несколько простых следствий этой теоремы и других хо- рошо известных классических результатов. Предназначено для специалистов по теории множеств и математиче- ской логике, а также для преподавателей и студентов факультетов мате- матического профиля. Библиогр. : 47 назв. Перевод осуществлён по изданию: Kiselev, Alexander. Inaccessibility and Subinaccessibility. In 2 pt. Pt 2 / Alexander Kiselev. – 2nd ed. , enrich. and improv. Minsk : Publ. center of BSU, 2010. Рецензенты профессор П. П. Забрейко; профессор А. В. Лебедев Математическая классификация тем (2000): 03E05, 03E15, 03E35, 03E55, 03E60 ISBN 978-985-476-935-6 (ч. 2) c Киселев А. А. , 2011 ○ ISBN 978-985-476-597-6 (pt. 2) c Kiselev Alexander, 2010 ○ Посвящается моей матери Анне Благодарности Автор высказывает свои первые слова глубокой благодарно- сти Ханне Калиендо за понимание значительности темы и за сердечную воодушевляющую помощь в продвижении работы. Особая признательность выражается проф. С. Р. Когалов- скому, который научил автора Теории Иерархий, и проф. Аки- хиро Канамори за их бесценную воодушевляющую поддержку, придавшую необходимый импульс завершению работы. Автор хотел бы также выразить особую благодарность проф. А. В. Лебедеву и проф. П. П. Забрейко за многолетнюю под- держку его работ; большой интеллектуальный и моральный долг высказывается им обоим за их практическую и духовную помощь. Глубокую благодарность автор высказывает А. А. Лапцеви- чу, начальнику Минского государственного высшего авиаци- онного колледжа; С. В. Сизикову, заместителю начальника; А. И. Рипинскому, декану факультета гражданской авиации; А. И. Кириленко, заведающего кафедрой естественнонаучных дисциплин, за создание условий для плодотворной работы над этим изданием.