Repositorio de producción científica de la Universidad de Sevilla

On Rules and Parameter Free Systems in Bounded Arithmetic

 

Advanced Search
 
Opened Access On Rules and Parameter Free Systems in Bounded Arithmetic
Cites

Show item statistics
Icon
Export to
Author: Cordón Franco, Andrés
Fernández Margarit, Alejandro
Lara Martín, Francisco Félix
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2007
Published in: CiE 2007: 3rd Conference on Computability in Europe (2007), p 179-188
ISBN/ISSN: 978-3-540-73000-2
0302-9743
Document type: Presentation
Abstract: We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.
Cite: Cordón Franco, A., Fernández Margarit, A. y Lara Martín, F.F. (2007). On Rules and Parameter Free Systems in Bounded Arithmetic. En CiE 2007: 3rd Conference on Computability in Europe (179-188), Siena, Italy: Springer.
Size: 519.2Kb
Format: PDF

URI: https://hdl.handle.net/11441/87642

DOI: 10.1007/978-3-540-73001-9_19

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)