Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370.
Keyword(s):
Keyword(s):
Keyword(s):
1996 ◽
Vol 54
◽
pp. 636-637
1982 ◽
Vol 46
(6)
◽
pp. 314-322
1996 ◽
Vol 60
(4)
◽
pp. 348-350