Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets

DOI10.1134/S0001434618030057OpenAlexW2799794780WikidataQ129975279 ScholiaQ129975279MaRDI QIDQ722147

A. G. Vladimirov

Publication date: 23 July 2018

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0001434618030057

zbMATH Keywords

intuitionistic logicrecursive realizabilityintuitionistic Zermelo-Fraenkel set theorypartial conservativeness propertiesZermelo-Fraenkel axioms

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effectivity properties of intuitionistic set theory with collection scheme
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Realizability and recursive set theory
• Extending Gödel's negative interpretation to ZF
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Set Theory
• Independence of the uniformity principle from Church's thesis in intuitionistic set theory

This page was built for publication: Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets