Abstract:
A semantics of realizability for formulas of the language of set theory based on hyperarithmetical predicates of membership is introduced. It is proved that the constructive set theory without the extensionality axioms is sound with this semantics.
Key words:constructive semantics, realizability, axiomatic set theory, constructive set theory, hyperarithmetical realizability.
Fulltext:
PDF file (309 kB)