|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Невыводимость принципа униформизации из тезиса Чёрча в интуиционистской теории множествстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Хаханян Валерий Христофорович
- Журнал: Математические заметки
- Том: 43
- Номер: 5
- Год издания: 1988
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 685
- Последняя страница: 691
- Аннотация: В работе доказывается, что в двусортной теории множеств без аксиомы объемности и с тезисом Черча не выводится принцип униформизации. Для доказательства строится специальная модель типа реализуемости для теории множеств, в которой выполняются все аксиомы (исключая объемность) теории Цермело–Френкеля, тезис Черча с выбором и оказывается ложным принцип сильной униформизации. Библиогр. 5 назв. URL: http://mi.mathnet.ru/mz4332
- Добавил в систему: Золин Евгений Евгеньевич