Arithmetical realizability and basic logic

DOI10.3103/S0027132216010071zbMath1338.03108OpenAlexW2332874597MaRDI QIDQ297665

Aleksandr Yur'evich Konovalov

Publication date: 17 June 2016

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0027132216010071

zbMATH Keywords

intuitionistic logicarithmetical realizability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (8)

Arithmetical realizability and primitive recursive realizability ⋮ A Generalized Realizability and Intuitionistic Logic ⋮ General recursive realizability and basic logic ⋮ Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability ⋮ General recursive realizability and intuitionistic logic ⋮ Generalized realizability for extensions of the language of arithmetic ⋮ Absolute \(L\)-realizability and intuitionistic logic ⋮ Generalized realizability and Markov's principle

Cites Work

• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Basic predicate calculus
• Unnamed Item

This page was built for publication: Arithmetical realizability and basic logic