F. Félix Lara Martin

Available identifiers

Publication	Date of Publication	Type
Semi-honest subrecursive degrees and the collection rule in arithmetic	2024-01-18	Paper
Lipschitz and Wadge binary games in second order arithmetic	2023-07-26	Paper
PREDICATIVITY THROUGH TRANSFINITE REFLECTION	2017-09-26	Paper
EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC	2016-08-19	Paper
Local induction and provably total computable functions	2014-06-06	Paper
On axiom schemes for \(T\)-provably \(\Delta_1\) formulas	2014-05-12	Paper
On the Optimality of Conservation Results for Local Reflection in Arithmetic	2014-04-04	Paper
Local Induction and Provably Total Computable Functions: A Case Study	2012-08-14	Paper
A note on parameter free Π₁ -induction and restricted exponentiation	2011-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q3172123	2011-10-05	Paper
Existentially Closed Models and Conservation Results in Bounded Arithmetic	2009-03-02	Paper
On Rules and Parameter Free Systems in Bounded Arithmetic	2007-11-13	Paper
A note on Σ₁-maximal models	2007-10-17	Paper
Envelopes, indicators and conservativeness	2006-03-24	Paper
Computer Science Logic	2005-08-22	Paper
Fragments of Arithmetic and true sentences	2005-06-01	Paper
On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction	2004-12-16	Paper
Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas	2004-12-16	Paper
Some result on \({\mathbf L}\Delta_{n+1}^-\)	2002-09-16	Paper

This page was built for person: F. Félix Lara Martin