arnold beckmann's pages

Review on the two papers by Takeuti

File: PDF-File

Author: Arnold Beckmann
Title: Review on the two papers by Takeuti
Status: appeared in BSL 2002

Abstract: Review on the two papers
Gaisi Takeuti. Incompleteness theorems and
S i 2 versus S i+1 2 . 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.

websites: Arnold Beckmann 2017-08-28 Valid HTML 4.01! Valid CSS!