Abstract:
Intuitionistic set theory with collection scheme is considered. Its various effectivity properties are proved by using the method of realizability.
Keywords:intuitionistic set theory, two-sorted language, collection scheme, effectivity properties of set theory, Markov's principle, Church's thesis, uniformization principle, Kleene recursive realizability.
Fulltext:
PDF file (504 kB)
