Note on ${\Pi }_{n+1}^0$-LEM, ${\Sigma }_{n+1}^0$-LEM and ${\Sigma }_{n+1}^0$-DNE

Joan R. Moschovakis

We show that results of Akama, Berardi, Hayashi and Kohlenbach, on the relative independence of certain arithmetical principles over intuitionistic arithmetic HA, hold also over Kl…