The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
A semantics of realizability based on hyperarithmetical predicates of membership is introduced for formulas of the language of set theory. It is proved that the constructive set theory without the extensionality axiom is sound with this semantics.
Unable to display preview. Download preview PDF.