Semi-honest subrecursive degrees and the collection rule in arithmetic
Cordón-Franco, Andrés, Lara-Martín, F. Félix
Published in Archive for mathematical logic (01.02.2024)
Published in Archive for mathematical logic (01.02.2024)
Get full text
Journal Article
Lipschitz and Wadge binary games in second order arithmetic
Cordón-Franco, Andrés, Lara-Martín, F. Félix, Loureiro, Manuel J.S.
Published in Annals of pure and applied logic (01.10.2023)
Published in Annals of pure and applied logic (01.10.2023)
Get full text
Journal Article
Local induction and provably total computable functions
Cordón-Franco, Andrés, Lara-Martín, F. Félix
Published in Annals of pure and applied logic (01.09.2014)
Published in Annals of pure and applied logic (01.09.2014)
Get full text
Journal Article
Fragments of Arithmetic and true sentences
Cordón-Franco, Andrés, Fernández-Margarit, Alejandro, Lara-Martín, F. Félix
Published in Mathematical logic quarterly (01.05.2005)
Published in Mathematical logic quarterly (01.05.2005)
Get full text
Journal Article
Envelopes, indicators and conservativeness
Cordón-Franco, Andrés, Fernández-Margarit, Alejandro, Lara-Martín, F. Félix
Published in Mathematical logic quarterly (01.01.2006)
Published in Mathematical logic quarterly (01.01.2006)
Get full text
Journal Article
Some Results on LΔ - n+1
Fernández Margarit, Alejandro, Martin, F. Félix Lara
Published in Mathematical logic quarterly (01.11.2001)
Published in Mathematical logic quarterly (01.11.2001)
Get full text
Journal Article