Page 171 - Textos de Matemática Vol. 40
P. 171
Bibliography 159
Inductive Definitions and Subsystems of Analysis: Recent Proof- Theoretical Studies, volume 897 of [BFPS81], Lecture Notes in Math- ematics, pages 78–142. Springer, Berlin, 1981.
[FS82] Harvey Friedman and Michael Sheard. An axiomatic approach to self-referential truth. Annals of Pure and Applied Logic, 33:1–21, 1982.
[FS00] Solomon Feferman and Thomas Strahm. The unfolding of non-finitist arithmetic. Annals of Pure and Applied Logic, 104(1–3):75–96, 2000.
[Gar92] Alejandro R. Garciadiego. Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’. Birkh¨auser, 1992.
[Gen36] Gerhard Gentzen. Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, 112:493–565, 1936.
[Gir87] Jean-Yves Girard. Proof Theory and Logical Complexity, volume I. Bibliopolis, 1987.
[Gla93] Thomas Glaß. Standardstrukturen fu¨r Systeme Expliziter Mathema- tik. PhD thesis, Westf¨alische Wilhelms-Universit¨at Mu¨nster, 1993.
[Gla95] Thomas Glaß. Understanding uniformity in Feferman’s explicit mathematics. Annals of Pure and Applied Logic, 75(1–2):89–106, 1995.
[G¨od03] Kurt G¨odel. Collected Works, volume V. Correspondence H–Z. (Solomon Feferman et al., editors), Oxford University Press, 2003.
[Gor88] Lew Gordeev. Proof-theoretical analysis; weak systems of functions and classes. Annals of Pure and Applied Logic, 38:1–121, 1988.
[GR94] Ed Griffor and Michael Rathjen. The strength of some Martin-L¨of type theories. Archive for Mathematical Logic, 33:347–385, 1994.
[GRS97] Thomas Glaß, Michael Rathjen, and Andreas Schlu¨ter. On the proof- theoretic strength of monotone induction in explicit mathematics. Annals of Pure and Applied Logic, 85(1):1–46, 1997.
[GS96] Thomas Glaß and Thomas Strahm. Systems of explicit mathemat- ics with non-constructive μ-operator and join. Annals of Pure and Applied Logic, 82(2):193–219, 1996.
[HA28] David Hilbert and Wilhelm Ackermann. Grundzu¨ge der theoretischen Logik. Springer, 1928. 2nd edition, 1938.
[Hal96] Volker Halbach. Axiomatische Wahrheitstheorien. Akademie-Verlag, Berlin, 1996.