An interpretation of the Sigma-2 fragment of classical Analysis in System T

Danko Ilik

We show that it is possible to define a realizability interpretation for the ${\Sigma }_2$-fragment of classical Analysis using Gödel's System T only. This supplements a previous result of…