ML199402: Zambella, Domenico (1994) End Extensions of Models of Linearly Bounded Arithmetic. [Report]
Text (Full Text)
ML199402.text.ps.gz Download (82kB) 

Text (Abstract)
ML199402.abstract.txt Download (449B) 
Abstract
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., secondorder Presburger
arithmetic with finite comprehension for bounded formulas).
Item Type:  Report 

Report Nr:  ML199402 
Series Name:  Mathematical Logic and Foundations (ML) 
Year:  1994 
Date Deposited:  12 Oct 2016 14:40 
Last Modified:  12 Oct 2016 14:40 
URI:  https://eprints.illc.uva.nl/id/eprint/1348 
Actions (login required)
View Item 