Realisability in weak systems of explicit mathematics
Daria Spescha, Thomas Strahm · Mathematical logic quarterly · 2011
This paper is a direct successor to 12. Its aim is to introduce a new realisability interpretation for weak systems of explicit mathematics and use it in order to analyze extensions of the theory PET in 12 by the so-called join axiom of explicit mathematics.