A Remark on Independence Results for Sharply Bounded Arithmetic

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

Saved in:
Bibliographic Details
Published inMathematical logic quarterly Vol. 44; no. 4; pp. 568 - 570
Main Author Johannsen, Jan
Format Journal Article
LanguageEnglish
Published Berlin WILEY-VCH Verlag Berlin GmbH 1998
WILEY‐VCH Verlag Berlin GmbH
Subjects
Bounded arithmetic
Independence results
Length-initial submodel
Sharply bounded formula
Online AccessGet full text

Cover

More Information
Summary: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].
Bibliography:ArticleID:MALQ19980440415
DFG - No. Jo 291/1-1
ark:/67375/WNG-DZSTMNS9-Z
istex:162C6CB389F743B82C1E0A25DB2939EE6A735C71
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.19980440415