Classical realizability and arithmetical formulæ

Mauricio Guillermo, Étienne Miquey

In this paper we treat the specification problem in classical realizability (as defined in [20]) in the case of arithmetical formulæ. In the continuity of [10] and [11], we charact…