( en | de | ru )

 

Disambiguation of "Martín, Francisco Félix Lara"

Author of the publication

copydeleteadd this publication to your clipboard
Semi-honest subrecursive degrees and the collection rule in arithmetic.

, and . Arch. Math. Log., 63 (1-2): 163-180 (February 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francisco Lara

Lara Górriz Martín

Francisco Lorenzo Martín

Lara Górriz Martin

Camilo Ernesto Lara Martinez

 

Other publications of authors with the same name

A note on Σ1-maximal models., and . J. Symb. Log., 72 (3): 1072-1078 (2007)Provably Total Primitive Recursive Functions: Theories with Induction., , and . CSL, volume 3210 of Lecture Notes in Computer Science, page 355-369. Springer, (2004)Local Induction and Provably Total Computable Functions: A Case Study., and . CiE, volume 7318 of Lecture Notes in Computer Science, page 440-449. Springer, (2012)A note on parameter free Π1-induction and restricted exponentiation., , and . Math. Log. Q., 57 (5): 444-455 (2011)Existentially Closed Models in the Framework of Arithmetic., , and . J. Symb. Log., 81 (2): 774-788 (2016)On the optimality of conservation results for local reflection in arithmetic., , and . J. Symb. Log., 78 (4): 1025-1035 (2013)Lipschitz and Wadge binary games in second order arithmetic., , and . Ann. Pure Appl. Log., 174 (9): 103301 (October 2023)Semi-honest subrecursive degrees and the collection rule in arithmetic., and . Arch. Math. Log., 63 (1-2): 163-180 (February 2024)Envelopes, indicators and conservativeness., , and . Math. Log. Q., 52 (1): 51-70 (2006)Induction, minimization and collection for Deltan+1(T)-formulas., and . Arch. Math. Log., 43 (4): 505-542 (2004)