scientific article; zbMATH DE number 65751

MaRDI QIDQ4010362zbMATH OpenFDO

Authors James Lipton

Publication date 27 September 1992

zbMATH Keywords

Beth semanticsconstructive modelsfallible Beth modelsforcingKripke modelsrealizability interpretationstruth-value of realizability

Mathematics Subject Classification ID

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

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

(15)

• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• Introducing reactive Kripke semantics and arc accessibility
• Reactive Kripke models and contrary to duty obligations. Part A: Semantics
• Constructive hybrid games
• Realizability semantics of the early period of Markov's constructivism (history and problems)
• A Classical Realizability Model for a Semantical Value Restriction
• Implicit Kripke semantics and ultraproducts in stratified institutions
• scientific article; zbMATH DE number 4081553 (Why is no real title available?)
• scientific article; zbMATH DE number 1984522 (Why is no real title available?)
• Connecting formal semantics to constructive intuitions
• Kripke semantics for dependent type theory and realizability interpretations
• Constructive game logic
• Intuitive counterexamples for constructive fallacies
• Generalizing realizability and Heyting models for constructive set theory
• Refining constructive hybrid games

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)