Topological models of epistemic set theory

DOI10.1016/0168-0072(90)90032-WzbMath0704.03043MaRDI QIDQ916657

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) Model theory (03C99) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Related Items (2)

CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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