Alejandro Fernández-Margarit

Arch. Math. Log., 2014

2013

On the optimality of conservation results for local reflection in arithmetic.

[BibT_eX]

[DOI]

J. Symb. Log., 2013

2011

A note on parameter free Π1-induction and restricted exponentiation.

[BibT_eX]

[DOI]

Math. Log. Q., 2011

2009

Existentially Closed Models and Conservation Results in Bounded Arithmetic.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

2007

On Rules and Parameter Free Systems in Bounded Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

2006

Envelopes, indicators and conservativeness.

[BibT_eX]

[DOI]

Math. Log. Q., 2006

2005

Fragments of Arithmetic and true sentences.

[BibT_eX]

[DOI]

Math. Log. Q., 2005

2004

Induction, minimization and collection for Deltan+1(T)-formulas.

[BibT_eX]

[DOI]

Arch. Math. Log., 2004

On the quantifier complexity of bigtriangleupn+1 (T)? induction.

[BibT_eX]

[DOI]

Arch. Math. Log., 2004

Provably Total Primitive Recursive Functions: Theories with Induction.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2001

Some Results on L-Delta-- n+1.

[BibT_eX]

[DOI]

Math. Log. Q., 2001

1996

On Overspill Principles and Axiom Schemes for Bounded Formulas.

[BibT_eX]

[DOI]

Joaquín Borrego-Díaz

Mario J. Pérez-Jiménez

Math. Log. Q., 1996

1994

Maximum Schemes in Arithmetic.

[BibT_eX]

[DOI]

Mario J. Pérez-Jiménez

Math. Log. Q., 1994

A formal model for knowledge-based systems verification.

[BibT_eX]

[DOI]

Luis M. Laita

Julia Couto

Luis de Ledesma