scientific article; zbMATH DE number 65751

MaRDI QIDQ4010362zbMATH OpenFDO

Authors James Lipton

Publication date 27 September 1992

zbMATH Keywords

forcingKripke modelsconstructive modelsrealizability interpretationsfallible Beth modelsBeth semanticstruth-value of realizability

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Topoi (18B25) Intuitionistic mathematics (03F55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Kripke semantics for dependent type theory and realizability interpretations
• scientific article; zbMATH DE number 4081553
• scientific article; zbMATH DE number 1215498
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• scientific article; zbMATH DE number 4093448

Cited in

(14)

• Connecting formal semantics to constructive intuitions
• Intuitive counterexamples for constructive fallacies
• scientific article; zbMATH DE number 4081553 (Why is no real title available?)
• Constructive hybrid games
• scientific article; zbMATH DE number 1984522 (Why is no real title available?)
• Implicit Kripke semantics and ultraproducts in stratified institutions
• Reactive Kripke models and contrary to duty obligations. Part A: Semantics
• Introducing reactive Kripke semantics and arc accessibility
• Kripke semantics for dependent type theory and realizability interpretations
• Realizability semantics of the early period of Markov's constructivism (history and problems)
• 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
• A Classical Realizability Model for a Semantical Value Restriction

This page was built for publication:

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