Arithmetical realizability and primitive recursive realizability

DOI10.3103/S0027132216040069zbMath1420.03142OpenAlexW2535647996MaRDI QIDQ2362860

Aleksandr Yur'evich Konovalov

Publication date: 14 July 2017

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

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

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (3)

A Generalized Realizability and Intuitionistic Logic ⋮ General recursive realizability and basic logic ⋮ General recursive realizability and intuitionistic logic

Cites Work

• Unnamed Item
• Arithmetical realizability and basic logic
• A translation of intuitionistic predicate logic into basic predicate logic
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Provably total functions of Basic Arithmetic
• Basic predicate calculus

This page was built for publication: Arithmetical realizability and primitive recursive realizability