Friedman, Harvey Some systems of second order arithmetic and their use. (English) Zbl 0344.02022 Proc. int. Congr. Math., Vancouver 1974, Vol. 1, 235-242 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 26 Documents MSC: 03F99 Proof theory and constructive mathematics 03D25 Recursively (computably) enumerable sets and degrees PDFBibTeX XML