Herbrandized modified realizability
From MaRDI portal
Publication:6565573
DOI10.1007/s00153-024-00917-6MaRDI QIDQ6565573
Gilda Ferreira, Paulo Renato A. Firmino
Publication date: 2 July 2024
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Relative consistency and interpretations (03F25)
This page was built for publication: Herbrandized modified realizability
