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

Rivas González, Norberto Javier

dc.contributor.author	Rivas González, Norberto Javier
dc.date.accessioned	2024-07-19T14:05:42Z
dc.date.available	2024-07-19T14:05:42Z
dc.date.issued	2016-06
dc.identifier.govdoc	LMATA .11840 2016
dc.identifier.other	AT20822
dc.identifier.uri	http://dgsa.uaeh.edu.mx:8080/bibliotecadigital/handle/231104/5154
dc.description	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.	es_ES
dc.language.iso	es	es_ES
dc.publisher	ICBI-BD-UAEH	es_ES
dc.subject	Sintáctica	es_ES
dc.subject	Semántica	es_ES
dc.subject	Deducción natural	es_ES
dc.subject	Identidad	es_ES
dc.subject	Modelos	es_ES
dc.subject	Orden	es_ES
dc.subject	Inducción	es_ES
dc.subject	Recursión	es_ES
dc.subject	Teoría de números	es_ES
dc.title	Aritmética de Peano en lógica de primer orden y propiedades de sus modelos numerables.	es_ES
dc.title.alternative	Matemáticas Aplicadas	es_ES
dc.type	Tesis	es_ES