Topological models of epistemic set theory

DOI10.1016/0168-0072(90)90032-WMaRDI QIDQ916657zbMATH OpenFDO

Authors Nicolas D. Goodman

Publication date 1990

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Markov's principletopological modelsdiscontinuous functionepistemic mathematicsepistemic set theoryintensional modal set theoryKripke's schemeScott's modelset theory with classical S4 as its underlying logicweakened form of extensionality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Model theory (03C99)

Recommendations

• Publication:4726244
• Epistemic set theory is a conservative extension of intuitionistic set theory
• A semantics for in-principle provability
• The real-algebraic structure of Scott's model of intuitionistic analysis
• scientific article; zbMATH DE number 1749196
• Intuitionistic epistemic logic, Kripke models and Fitch's paradox
• Modalities as interactions between the classical and the intuitionistic logics
• An arithmetic interpretation of intuitionistic verification
• scientific article; zbMATH DE number 3891353
• Intuitionistic logic as epistemic logic

Cites work

• scientific article; zbMATH DE number 3908428 (Why is no real title available?)
• scientific article; zbMATH DE number 3999912 (Why is no real title available?)
• scientific article; zbMATH DE number 3313428 (Why is no real title available?)
• scientific article; zbMATH DE number 3337652 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Flagg realizability in arithmetic
• Intensional mathematics
• Intensions, Church's Thesis, and the formalization of mathematics
• The knowing mathematician

Cited in

(7)

• CAN MODALITIES SAVE NAIVE SET THEORY?
• Epistemic set theory
• Two questions from Dana Scott: Intuitionistic topologies and continuous functions
• Some properties of epistemic set theory with collection
• Complete topoi representing models of set theory
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction

This page was built for publication: Topological models of epistemic set theory

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