Some derived rules of intuitionistic second order arithmetic
Susumu Hayashi · Proceedings of the Japan Academy Series A Mathematical Sciences · 1977
L. E. J. Brouwer introduced some intuitionistic principles in his study of intuitionistic analysis.They cannot be proved in the intuition- istic second order arithmetic.Moreover some o them are incompati- ble with the classical mathematics when they are interpreted in the classical sense.But it has been shown, that the derived rules which correspond to some of Brouwer's principles are valid or various intuitionistic systems (e.g.[1], [2]). ) The purpose o this note is to announce the result that the derived rules which correspond to Brouwer's principles are valid or the intuitionistic second order arithmetic.