El Teorema de Herbrand y la consistencia de la aritmética de Peano
Main Author: | Camhaji García, Camilo |
---|---|
Other Authors: | Torres Alcaraz, Carlos (Asesor) |
Format: | Tesis de licenciatura |
Published: |
MX
2009
|
Subjects: | |
Online Access: | https://hdl.handle.net/20.500.14330/TES01000640234 http://132.248.9.195/ptd2009/febrero/0640234/Index.html |
Similar Items
-
Una prueba de consistencia de la aritmetica de Peano, del tipo de Gentzen
by: Miranda Perea, Favio Ezequiel
Published: (1997) -
Enunciados indecidibles en la aritmetica de Peano
by: Roque Haro, Eduardo
Published: (2001) -
Consistencia aritmética y completud para Σ₂-numeraciones
by: Mejía López, Jimena
Published: (2023) -
Acerca de una extension godeliana del punto de vista finista y de la consistencia de la aritmetica
by: Ruiz Benjumeda, Francisco
Published: (1997) -
La logística de Peano : motivaciones, método y relación con el logicismo de Frege
by: Jiménez Rodríguez, Felipe de Jesús
Published: (2021)