Epistemic set theory is a conservative extension of intuitionistic set theory
From MaRDI portal
Publication:3758827
DOI10.2307/2273979zbMath0622.03038OpenAlexW1988700246MaRDI QIDQ3758827
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
modal logicBoolean-valued modelsintuitionistic set theoryinformal 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
Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)
Related Items
Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator ⋮ Tableau method for residuated logic ⋮ Some properties of epistemic set theory with collection ⋮ Topological models of epistemic set theory ⋮ Epistemic and intuitionistic formal systems
Cites Work