Strictly primitive recursive realizability, I
From MaRDI portal
Publication:4323037
DOI10.2307/2275700zbMath0816.03029MaRDI QIDQ4323037
Publication date: 20 July 1995
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275700
soundness; intuitionistic arithmetic; falsifiability; primitive recursive realizability; fragment of Heyting arithmetic
Related Items
THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY, Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule, A Generalized Realizability and Intuitionistic Logic, Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability, Polynomially bounded recursive realizability, General recursive realizability and basic logic, Elementary realizability, Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability, General recursive realizability and intuitionistic logic
Cites Work