Диссертация - Интуиционистская логика и теория множеств
Содержание
СОДЕРЖАНИЕ
стр
1. Введение...3
2. Глава 1. История развития теории множеств с интуиционистской
логикой: метаматематика и философские аспекты... 24
3. Глава 2. Описание базисных теорий множеств с интуиционистской
логикой и дополнительных постулатов конструктивного, интуиционистского и теоретико-множественного характера.. 92
4. Глава 3. Свойства ординалов в интуиционистской теории множеств.
Интуиционистское доказательство совместности тезиса Чёрча с теорией множеств...100
5. Глава 4. Соотношения дополнительных постулатов в базисных
теориях множеств с интуиционистской логикой...109
6. Глава 5. Независимость схемы собирания от принципа двойного *-' дополнения множеств и vice versa в теории множеств с
интуиционистской логикой... 116
7. Глава 6. О допустимости правила Маркова в теории множеств с
интуиционистской логикой. Предикаты реализуемости для теории множеств с интуиционистской логикой... 126
8. Глава 7. Аксиома выбора в теории множеств с интуиционистской
логикой...144
9. Глава 8. Вариант теории множеств "New Foundations" Куайна с
интуиционистской логикой... 151
Ю.Глава 9. Функциональные алгебраические модели для НА и теории
множеств с интуиционистской логикой... 159
11 .Заключение...172
12.Литература...177
2
