Topological models of epistemic set theory
From MaRDI portal
Publication:916657
DOI10.1016/0168-0072(90)90032-WzbMath0704.03043MaRDI QIDQ916657
Publication date: 1990
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Markov's principle; topological models; discontinuous function; epistemic mathematics; epistemic set theory; intensional modal set theory; Kripke's scheme; Scott's model; set theory with classical S4 as its underlying logic; weakened form of extensionality
03B45: Modal logic (including the logic of norms)
03C99: Model theory
03E70: Nonclassical and second-order set theories
03F65: Other constructive mathematics
Related Items
CAN MODALITIES SAVE NAIVE SET THEORY?, REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Epistemic set theory is a conservative extension of intuitionistic set theory
- Flagg realizability in arithmetic