Part 3. Mathematical models

The intuitionistic set theory is not sound with respect to the constructive sematics based on hyperarithmetic sorts

A. Yu. Konovalov


Abstract: The soundness of axioms of the intuitionistic set theory with respect to the realizability semantics based on hyperarithmetical sorts is studied.

Keywords: constructive semantics, realizability, axiomatic set theory, hyperarithmetical sorts.