Ponencia
On Rules and Parameter Free Systems in Bounded Arithmetic
Autor/es | Cordón Franco, Andrés
![]() ![]() ![]() ![]() ![]() ![]() ![]() Fernández Margarit, Alejandro Lara Martín, Francisco Félix ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2007 |
Fecha de depósito | 2019-06-27 |
Publicado en |
|
ISBN/ISSN | 978-3-540-73000-2 0302-9743 |
Resumen | 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. |
Identificador del proyecto | MTM2005-08658
![]() |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
On Rules and Parameter Free ... | 519.2Kb | ![]() | Ver/ | |