Hayashi, DaichiLeigh, Graham E.2025-03-312025-03-312025https://hdl.handle.net/2077/86056In 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).engText