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

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

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)

Cites Work

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

Cited In (5)

• From the weak to the strong existence property
• Epistemic set theory
• Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
• 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)