Alejandro Fernández Margarit

Available identifiers

Publication	Date of Publication	Type
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
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
On Overspill Principles and Axiom Schemes for Bounded Formulas	1997-02-24	Paper
Maximum Schemes in Arithmetic	1994-10-05	Paper
Abraham Robinson's Meta-Algebra Revisited	1987-01-01	Paper

This page was built for person: Alejandro Fernández Margarit