Some properties of epistemic set theory with collection

DOI10.2307/2274028MaRDI QIDQ3783286zbMATH OpenOpenAlexFDO

Authors Andre Scedrov

Publication date 1986

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

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

zbMATH Keywords

epistemic set theory with collectionHeyting's predicate calculusintuitionistic set theorymodal logic S4

Mathematics Subject Classification ID

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

Recommendations

• From the weak to the strong existence property
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Topological models of epistemic set theory
• Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets
• Axiom ``collection independence of ``DC principle in intuitionistic set theory

Cites work

• Epistemic set theory is a conservative extension of intuitionistic set theory
• Intensional mathematics

Cited in

(6)

• Maximality in modal logic
• Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
• Epistemic set theory
• From the weak to the strong existence property
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Nondeterministic first-order T-BAT logic

This page was built for publication: Some properties of epistemic set theory with collection

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