А. Г. Владимиров, “Свойства эффективности интуиционистской теории множеств со схемой collection”, Матем. заметки, 2011, том 89, выпуск 5,страницы 658

Эта публикация цитируется в 1 статье

Свойства эффективности интуиционистской теории множеств со схемой collection

А. Г. Владимиров

Государственная классическая академия им. Маймонида, г. Москва

Аннотация: Рассматривается интуиционистская теория множеств со схемой collection. С помощью метода реализуемости для нее доказываются различные свойства эффективности.
Библиография: 18 названий.

УДК: 510.64

Поступило: 22.08.2009
Исправленный вариант: 07.11.2009

DOI: 10.4213/mzm8547