Alejandro Fernández-Margarit

	2011
11		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín: A note on parameter free Π1-induction and restricted exponentiation. Math. Log. Q. 57(5): 444-455 (2011)
	2009
10		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): 123-143 (2009)
	2007
9		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: 179-188
	2006
8		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín: Envelopes, indicators and conservativeness. Math. Log. Q. 52(1): 51-70 (2006)
	2005
7		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): 313-328 (2005)
	2004
6		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: 355-369
5		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín: On the quantifier complexity of bigtriangleupn+1 (T)? induction. Arch. Math. Log. 43(3): 371-398 (2004)
4		Alejandro Fernández-Margarit, Francisco Félix Lara Martín: Induction, minimization and collection for Deltan+1(T)-formulas. Arch. Math. Log. 43(4): 505-542 (2004)
	2001
3		Alejandro Fernández-Margarit, Francisco Félix Lara Martín: Some Results on L-Delta-- n+1. Math. Log. Q. 47(4): 503-512 (2001)
	1996
2		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: 341-348 (1996)
	1994
1		Mario J. Pérez-Jiménez, Alejandro Fernández-Margarit: Maximum Schemes in Arithmetic. Math. Log. Q. 40: 425-430 (1994)

Coauthor Index

1	Joaquín Borrego-Díaz	[2]
2	Andrés Cordón-Franco	[5] [6] [7] [8] [9] [10] [11]
3	Francisco Félix Lara Martín	[3] [4] [5] [6] [7] [8] [9] [10] [11]
4	Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez)	[1] [2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page