### 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.