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

DOI10.1134/S0001434618030057OpenAlexW2799794780WikidataQ129975279 ScholiaQ129975279MaRDI QIDQ722147FDOQ722147

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

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

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

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

Cited In (4)

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