Alejandro Fernández-Margarit

Publication Activity (10 Years)

Years Active: 1994-2014
Publications (10 Years): 0

Top Topics

Specular Reflection

Top Venues

Arch. Math. Log.

Publications

Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
formulas. Arch. Math. Log. 53 (3-4) (2014)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
On the optimality of conservation results for local reflection in arithmetic. J. Symb. Log. 78 (4) (2013)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
-induction and restricted exponentiation. Math. Log. Q. 57 (5) (2011)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Existentially Closed Models and Conservation Results in Bounded Arithmetic. J. Log. Comput. 19 (1) (2009)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
On Rules and Parameter Free Systems in Bounded Arithmetic. CiE (2007)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Envelopes, indicators and conservativeness. Math. Log. Q. 52 (1) (2006)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Fragments of Arithmetic and true sentences. Math. Log. Q. 51 (3) (2005)
Alejandro Fernández-Margarit, Francisco Félix Lara Martín
(T)-formulas. Arch. Math. Log. 43 (4) (2004)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
(T)? induction. Arch. Math. Log. 43 (3) (2004)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Provably Total Primitive Recursive Functions: Theories with Induction. CSL (2004)
Alejandro Fernández-Margarit, Francisco Félix Lara Martín
+1. Math. Log. Q. 47 (4) (2001)
Joaquín Borrego-Díaz, Alejandro Fernández-Margarit, Mario J. Pérez-Jiménez
On Overspill Principles and Axiom Schemes for Bounded Formulas. Math. Log. Q. 42 (1996)
Luis M. Laita, Julia Couto, Luis de Ledesma, Alejandro Fernández-Margarit
A formal model for knowledge-based systems verification. Int. J. Intell. Syst. 9 (9) (1994)
Mario J. Pérez-Jiménez, Alejandro Fernández-Margarit
Maximum Schemes in Arithmetic. Math. Log. Q. 40 (1994)