Some properties of epistemic set theory with collection

DOI10.2307/2274028zbMATH Open0642.03031OpenAlexW2129633101MaRDI QIDQ3783286FDOQ3783286

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

intuitionistic set theorymodal logic S4Heyting's predicate calculusepistemic set theory with collection

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

(5)

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

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)