Aritmética de Peano en lógica de primer orden y propiedades de sus modelos numerables.

Por favor, use este identificador para citar o enlazar este ítem: http://dgsa.uaeh.edu.mx:8080/handle/231104/5154

Título :	Aritmética de Peano en lógica de primer orden y propiedades de sus modelos numerables.
Otros títulos :	Matemáticas Aplicadas
Autor :	Rivas González, Norberto Javier
Palabras clave :	Sintáctica Semántica Deducción natural Identidad Modelos Orden Inducción Recursión Teoría de números
Fecha de publicación :	jun-2016
Editorial :	ICBI-BD-UAEH
Descripción :	Este trabajo tiene por objetivo partir de la definición de modelo aritmético, esto es, un conjunto y un par de operaciones que validen a cada axioma de Peano traducido a primer orden y mostrar que, además de la aritmética usual (el conjunto de los números naturales junto a la suma y producto usuales), existen otros conjuntos, dotados de sus propias operaciones, que continúan siendo modelos para estos axiomas. Luego de mostrar su existencia, se ahondará en algunos aspectos que son inherentes a todos los modelos aritméticos y otros exclusivos de los numerables. El texto contiene también un primer capítulo de preliminares a fin de exponer los conceptos y teoremas básicos, considerados necesarios para el buen entendimiento de los resultados presentados en la tesis.
Documento del Gobiberno :	LMATA .11840 2016
URI :	http://dgsa.uaeh.edu.mx:8080/bibliotecadigital/handle/231104/5154
Aparece en las colecciones:	Tesis de Licenciatura

Ficheros en este ítem:

Fichero	Descripción	Tamaño	Formato
AT20822.pdf		1.2 MB	Adobe PDF	Visualizar/Abrir

DSpace JSPUI