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).
