|
Certain Partial Conservativeness Properties of Intuitionistic Set Theory with the Principle of Double Complement of Sets
A. Vladimirov Lomonosov Moscow State University
Keywords:
intuitionistic logic, Zermelo–Fraenkel axioms for set theory, intuitionistic Zermelo–Fraenkel set theory, recursive realizability, partial conservativeness properties.
Received: 30.08.2016 Revised: 13.01.2017
Citation:
A. Vladimirov, “Certain Partial Conservativeness Properties of Intuitionistic Set Theory with the Principle of Double Complement of Sets”, Mat. Zametki, 103:3 (2018), 372–391; Math. Notes, 103:3 (2018), 378–394
Linking options:
https://www.mathnet.ru/eng/mzm10758https://doi.org/10.4213/mzm10758 https://www.mathnet.ru/eng/mzm/v103/i3/p372
|
Statistics & downloads: |
Abstract page: | 244 | Full-text PDF : | 23 | References: | 25 | First page: | 7 |
|