Topological models of epistemic set theory

DOI10.1016/0168-0072(90)90032-WzbMATH Open0704.03043MaRDI QIDQ916657FDOQ916657

Authors: Nicolas D. Goodman 

Publication date: 1990

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Title not available (Why is that?)
• The knowing mathematician
• Intensional mathematics
• Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
• Intensions, Church's Thesis, and the formalization of mathematics
• Title not available (Why is that?)
• Flagg realizability in arithmetic

Cited In (7)

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

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)