Epistemic set theory is a conservative extension of intuitionistic set theory

DOI10.2307/2273979MaRDI QIDQ3758827zbMATH OpenOpenAlexFDO

Authors Robert C. Flagg

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273979

zbMATH Keywords

Boolean-valued modelsepistemic set theoryfaithful interpretationformal systems for set theoryGödel's interpretationinformal provabilityintuitionistic set theorymodal logicmodels of ZFEtopological Boolean algebraŠčedrov's extension of the Gödel translation to set theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Recommendations

• Epistemic and intuitionistic formal systems
• Topological models of epistemic set theory
• scientific article; zbMATH DE number 51606
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL

Cites work

• scientific article; zbMATH DE number 3577208 (Why is no real title available?)
• Intensional mathematics
• The consistency of classical set theory relative to a set theory with intu1tionistic logic

Cited in

(12)

• Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
• Tableau method for residuated logic
• scientific article; zbMATH DE number 3908428 (Why is no real title available?)
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Some properties of epistemic set theory with collection
• scientific article; zbMATH DE number 51606 (Why is no real title available?)
• FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL
• scientific article; zbMATH DE number 3999912 (Why is no real title available?)
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Integrating classical and intuitionistic type theory
• Epistemic and intuitionistic formal systems
• Topological models of epistemic set theory

This page was built for publication: Epistemic set theory is a conservative extension of intuitionistic set theory

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