General recursive realizability and basic logic

DOI10.1007/S10469-020-09610-YMaRDI QIDQ828116zbMATH OpenOpenAlexFDO

Authors A. Yu. 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)

Recommendations

• General recursive realizability and intuitionistic logic
• Generalized Realizability and Basic Logic
• scientific article; zbMATH DE number 2019914
• Strictly primitive recursive realizability, I
• Generalized realizability for extensions of the language of arithmetic

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Arithmetical realizability and basic logic
• Arithmetical realizability and primitive recursive realizability
• Basic predicate calculus
• Minimal readability of intuitionistic arithmetic and elementary analysis
• On hyperarithmetical realizability
• On the interpretation of intuitionistic number theory
• Provably total functions of Basic Arithmetic
• Strictly primitive recursive realizability, I

Cited in

(11)

• Generalized Realizability and Basic Logic
• Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
• scientific article; zbMATH DE number 4081553 (Why is no real title available?)
• scientific article; zbMATH DE number 4053610 (Why is no real title available?)
• Realizing Brouwer's sequences
• Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability
• A Generalized Realizability and Intuitionistic Logic
• scientific article; zbMATH DE number 5995417 (Why is no real title available?)
• scientific article; zbMATH DE number 2019914 (Why is no real title available?)
• scientific article; zbMATH DE number 3269880 (Why is no real title available?)
• General recursive realizability and intuitionistic logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q828116)