Аннотация:
Определяется семантика реализуемости для формул языка теории множеств, основанная на гиперарифметических предикатах принадлежности. Доказывается корректность конструктивной теории множеств без аксиомы экстенсиональности относительно этой семантики.
Ключевые слова:конструктивная семантика, реализуемость, аксиоматическая теория множеств, конструктивная теория множеств, гиперарифметическая реализуемость.
Полный текст:
PDF файл (309 kB)