Herbrandized modified realizability

DOI10.1007/S00153-024-00917-6MaRDI QIDQ6565573zbMATH OpenFDO

Authors Gilda Ferreira, Paulo Renato A. Firmino

Publication date 2 July 2024

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

intuitionistic logicrealizabilityfinite setsHeyting arithmeticstar combinatory calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25) Functionals in proof theory (03F10)

Cites work

• scientific article; zbMATH DE number 956475 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• A Herbrandised Interpretation of Semi-Intuitionistic Second-Order Arithmetic with Function Variables
• A functional interpretation for nonstandard arithmetic
• A herbrandized functional interpretation of classical first-order logic
• Bounded functional interpretation
• Bounded modified realizability
• Confined modified realizability
• Constructivism in mathematics. An introduction. Volume II
• Functional interpretation and inductive definitions
• Intensional interpretations of functionals of finite type I
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On the interpretation of intuitionistic number theory
• On weak completeness of intuitionistic predicate logic
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
• Weak König's lemma in Herbrandized classical second-order arithmetic

This page was built for publication: Herbrandized modified realizability

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