2025/03/28 by Hayashi, Daichi, Leigh, Graham E.
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2503.22319
In Hayashi and Leigh (2024), the authors formulate classical number realisability for first-order arithmetic and a corresponding axiomatic system based on Krivine's classical realisability interpretation. This paper presents a self-referential generalisation of previous results in the spirit of Friedman and Sheard (1987).