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

DOI10.1134/S0001434618030057MaRDI QIDQ722147OpenAlexWikidataFDO

Authors 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)

Recommendations

• Axiom ``collection independence of ``DC principle in intuitionistic set theory
• Large sets in intuitionistic set theory
• scientific article; zbMATH DE number 1354107
• Metamathematical properties of intuitionistic set theories with choice principles
• Independence of the uniformity principle from Church's thesis in intuitionistic set theory

Cites work

• scientific article; zbMATH DE number 3427308 (Why is no real title available?)
• scientific article; zbMATH DE number 3427309 (Why is no real title available?)
• scientific article; zbMATH DE number 4063090 (Why is no real title available?)
• scientific article; zbMATH DE number 3652330 (Why is no real title available?)
• scientific article; zbMATH DE number 3668598 (Why is no real title available?)
• scientific article; zbMATH DE number 3685485 (Why is no real title available?)
• scientific article; zbMATH DE number 1099515 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 5064954 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Effectivity properties of intuitionistic set theory with collection scheme
• Extending Gödel's negative interpretation to ZF
• Independence of the uniformity principle from Church's thesis in intuitionistic set theory
• Metamathematical properties of intuitionistic set theories with choice principles
• Realizability and recursive set theory
• Realizability for constructive Zermelo-Fraenkel set theory
• Set Theory
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories

Cited in

(4)

• Axiom ``collection independence of ``DC principle in intuitionistic set theory
• Some properties of epistemic set theory with collection
• A linear conservative extension of Zermelo-Fraenkel set theory
• Large sets 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q722147)