Publication:4010362
From MaRDI portal
zbMath0757.03018MaRDI QIDQ4010362
Publication date: 27 September 1992
forcing; Kripke models; constructive models; realizability interpretations; fallible Beth models; Beth semantics; truth-value of realizability
18B25: Topoi
03F50: Metamathematics of constructive systems
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03F55: Intuitionistic mathematics
Related Items
Constructive Game Logic, Generalizing realizability and Heyting models for constructive set theory, Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels, Constructive hybrid games