A Friedman--Sheard-style Theory for Classical Realisability
Logic
2025-03-31 v1
Abstract
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).
Cite
@article{arxiv.2503.22319,
title = {A Friedman--Sheard-style Theory for Classical Realisability},
author = {Daichi Hayashi and Graham E. Leigh},
journal= {arXiv preprint arXiv:2503.22319},
year = {2025}
}