О КОНСТРУКТИВНОЙ ТЕОРИИ ПЕРЕЧИСЛИМЫХ ВИДОВ (60,00 руб.)

Первый автор	Плиско
Страниц	7

ID	588402
Аннотация	Определяется конструктивная семантика языка теории множеств с атомами, основанная на интерпретации переменных по множествам как перечислимых видов. Полностью исследован вопрос о корректности аксиом теории множеств Цермело!Френкеля относительно введенной семантики
УДК	510.25, 510.54

Плиско, В.Е. О КОНСТРУКТИВНОЙ ТЕОРИИ ПЕРЕЧИСЛИМЫХ ВИДОВ / В.Е. Плиско // Вестник Московского университета. Серия 1. Математика. Механика .— 2017 .— №2 .— С. 15-21 .— URL: https://rucont.ru/efd/588402 (дата обращения: 05.05.2024)