A partial analysis of modified realizability

DOI10.2178/jsl/1082418535zbMath1081.03060OpenAlexW2133425412MaRDI QIDQ5311732

Jaap van Oosten

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1082418535

zbMATH Keywords

Heyting arithmeticmodified realizabilityKleene realizabilityFriedman translationKripke forcingintuitionistic first-order arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items

On the rules of intermediate logics

Cites Work

• The modified realizability topos