ML-1994-02: End Extensions of Models of Linearly Bounded Arithmetic

ML-1994-02: Zambella, Domenico (1994) End Extensions of Models of Linearly Bounded Arithmetic. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (82kB)
[thumbnail of Abstract] Text (Abstract)

Download (449B)


We show that every model of I-\Delta_0 has an end extension to a model of a
theory (extending Buss' S^0_2) where logspace computable function are
formalizable. We also show the existence of an isomorphism between models of
I-\Delta_0 and models of linear arithmetic LA (i.e., second­order Presburger
arithmetic with finite comprehension for bounded formulas).

Item Type: Report
Report Nr: ML-1994-02
Series Name: Mathematical Logic and Foundations (ML)
Year: 1994
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item