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

modal logicintuitionistic set theoryBoolean-valued modelsinformal provabilitytopological Boolean algebraepistemic set theoryfaithful interpretationformal systems for set theoryGödel's interpretationmodels of ZFEŠč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)

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

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)