A Remark on Independence Results for Sharply Bounded Arithmetic

✍ Scribed by Jan Johannsen

• Publisher: John Wiley and Sons
• Year: 1998
• Tongue: English
• Weight: 193 KB
• Volume: 44
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19980440415

✦ Synopsis

The purpose of this note is to show that the independence results for sharply bounded arithmetic of Takeuti [4] and Tada and Tatsuta [3] can be obtained and, in case of the latter, improved by the model-theoretic method developed by the author in [2].