Francisco Félix Lara Martín

Arch. Math. Log., February, 2024

2023

Lipschitz and Wadge binary games in second order arithmetic.

[BibT_eX]

[DOI]

Manuel J. S. Loureiro

Ann. Pure Appl. Log., October, 2023

2017

Predicativity through Transfinite Reflection.

[BibT_eX]

[DOI]

David Fernández-Duque

Joost J. Joosten

J. Symb. Log., 2017

2016

Existentially Closed Models in the Framework of Arithmetic.

[BibT_eX]

[DOI]

Zofia Adamowicz

J. Symb. Log., 2016

2014

Local induction and provably total computable functions.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2014

On axiom schemes for T-provably Δ1 formulas.

[BibT_eX]

[DOI]

Arch. Math. Log., 2014

2013

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

[BibT_eX]

[DOI]

J. Symb. Log., 2013

2012

Local Induction and Provably Total Computable Functions: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the How the World Computes, 2012

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

A note on Σ1-maximal models.

[BibT_eX]

[DOI]

J. Symb. Log., 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]