|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Свойства эффективности интуиционистской теории множеств со схемой collection
А. Г. Владимиров Государственная классическая академия им. Маймонида, г. Москва
Аннотация:
Рассматривается интуиционистская теория множеств со схемой collection. С помощью метода реализуемости для нее доказываются различные свойства эффективности.
Библиография: 18 названий.
Поступило: 22.08.2009 Исправленный вариант: 07.11.2009
Образец цитирования:
А. Г. Владимиров, “Свойства эффективности интуиционистской теории множеств со схемой collection”, Матем. заметки, 89:5 (2011), 658–672; Math. Notes, 89:5 (2011), 619–632
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm8547https://doi.org/10.4213/mzm8547 https://www.mathnet.ru/rus/mzm/v89/i5/p658
|
Статистика просмотров: |
Страница аннотации: | 415 | PDF полного текста: | 201 | Список литературы: | 54 | Первая страница: | 15 |
|