Listar por autor 

Listar por autor "Lara Martín, Francisco Félix"                

Mostrando ítems 21-24 de 24

    • Ponencia
      Icon

      Provably Total Primitive Recursive Functions: Theories with Induction 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2004)
      A natural example of a function algebra is R (T), the class of provably total computable functions (p.t.c.f.) of a theory ...
    • Artículo
      Icon

      Some Results on LΔ n+1 

      Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2001)
      We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.
    • Trabajo Fin de Grado
      Icon

      El teorema de Goodstein 

      Muñoz Sánchez, Araceli (2021-06-02)
      Este trabajo se centra en el Teorema de Goodstein. El primer objetivo será demostrarlo. Para ello, debemos introducir al ...
    • Trabajo Fin de Grado
      Icon

      Teoría de conjuntos finitos 

      Barea Marín, Pablo Luis (2023-06)
      La Teoría de Conjuntos es un área del conocimiento comprendida entre la Lógica y las Matemáticas dedicada a la fundamentación ...