Epistemic set theory is a conservative extension of intuitionistic set theory

DOI10.2307/2273979zbMATH Open0622.03038OpenAlexW1988700246MaRDI QIDQ3758827FDOQ3758827

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

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

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)

Cites Work

• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Title not available (Why is that?)
• Intensional mathematics

Cited In (12)

• Title not available (Why is that?)
• Tableau method for residuated logic
• Title not available (Why is that?)
• Integrating classical and intuitionistic type theory
• FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL
• Title not available (Why is that?)
• 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
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic

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)