General recursive realizability and basic logic

DOI10.1007/S10469-020-09610-YzbMath1485.03239OpenAlexW3107646874MaRDI QIDQ828116

Aleksandr Yur'evich Konovalov

Publication date: 8 January 2021

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-020-09610-y

zbMATH Keywords

realizabilitybasic logicabsolute realizabilitysubrecursive realizability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (3)

A Generalized Realizability and Intuitionistic Logic ⋮ Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability ⋮ General recursive realizability and intuitionistic logic

Cites Work

• Unnamed Item
• On hyperarithmetical realizability
• Arithmetical realizability and basic logic
• Arithmetical realizability and primitive recursive realizability
• Strictly primitive recursive realizability, I
• Provably total functions of Basic Arithmetic
• Minimal readability of intuitionistic arithmetic and elementary analysis
• On the interpretation of intuitionistic number theory
• Basic predicate calculus

This page was built for publication: General recursive realizability and basic logic