Alejandro Fernández-Margarit

14 papers B 1C 1Journal 12
YearRankTypeTitle / Venue / Authors
2014 J jnl
On axiom schemes for T-provably Δ
Arch. Math. Log.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2013 J jnl
On the optimality of conservation results for local reflection in arithmetic.
J. Symb. Log.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2011 J jnl
A note on parameter free Π
Math. Log. Q.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2009 J jnl
Existentially Closed Models and Conservation Results in Bounded Arithmetic.
J. Log. Comput.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2007 C conf
On Rules and Parameter Free Systems in Bounded Arithmetic.
CiE
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2006 J jnl
Envelopes, indicators and conservativeness.
Math. Log. Q.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2005 J jnl
Fragments of Arithmetic and true sentences.
Math. Log. Q.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2004 J jnl
Induction, minimization and collection for Delta
Arch. Math. Log.
Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2004 J jnl
On the quantifier complexity of bigtriangleup
Arch. Math. Log.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2004 B conf
Provably Total Primitive Recursive Functions: Theories with Induction.
CSL
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2001 J jnl
Some Results on L-Delta-
Math. Log. Q.
Alejandro Fernández-Margarit, Francisco Félix Lara Martín
1996 J jnl
On Overspill Principles and Axiom Schemes for Bounded Formulas.
Math. Log. Q.
Joaquín Borrego-Díaz, Alejandro Fernández-Margarit, Mario J. Pérez-Jiménez
1994 J jnl
A formal model for knowledge-based systems verification.
Int. J. Intell. Syst.
Luis M. Laita, Julia Couto, Luis de Ledesma, Alejandro Fernández-Margarit
1994 J jnl
Maximum Schemes in Arithmetic.
Math. Log. Q.
Mario J. Pérez-Jiménez, Alejandro Fernández-Margarit