arnold beckmann's pages
Review on the two papers by Takeuti
Author: Arnold Beckmann
Title: Review on the two papers by Takeuti
Status: appeared in BSL 2002
Review on the two papers
Gaisi Takeuti. Incompleteness theorems and
Proceedings of the Logic Colloquium '98 held in San Sebastian, LNL 12,
Springer (1996), pp. 247.261.
Gaisi Takeuti. Gödel sentences and bounded arithmetic.
JSL, vol. 65, no. 3 (2000), pp. 1338-1346.