Аннотация:
Доказана независимость сильного принципа униформизации от тезиса Чёрча с выбором в интуиционистской теории множеств с аксиомой объемности, расширенной принципами Маркова и двойного дополнения множеств.
Библиография: 11 наименований.
Ключевые слова:интуиционистская логика, теория множеств, универсум множеств, рекурсивная реализуемость, тезис Чёрча, принцип униформизации, функция экстенсиональности множества.
Полный текст:
PDF файл (453 kB)
