|
This article is cited in 1 scientific paper (total in 1 paper)
Effectivity Properties of Intuitionistic Set Theory with Collection Scheme
A. G. Vladimirov Maimonid State Classical Academy, Moscow
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.
Received: 22.08.2009 Revised: 07.11.2009
Citation:
A. G. Vladimirov, “Effectivity Properties of Intuitionistic Set Theory with Collection Scheme”, Mat. Zametki, 89:5 (2011), 658–672; Math. Notes, 89:5 (2011), 619–632
Linking options:
https://www.mathnet.ru/eng/mzm8547https://doi.org/10.4213/mzm8547 https://www.mathnet.ru/eng/mzm/v89/i5/p658
|
Statistics & downloads: |
Abstract page: | 391 | Full-text PDF : | 187 | References: | 47 | First page: | 15 |
|