Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Sobre una definición de cardinales finitos en un topos arbitrario

Acuña Ortega, Osvaldo (1986) Sobre una definición de cardinales finitos en un topos arbitrario. Revista Colombiana de Matemáticas; Vol. 20, núm. 3-4 (1986); 79-104 2357-4100 0034-7426 .

Texto completo

[img]
Vista previa
PDF
6MB

URL oficial: http://revistas.unal.edu.co/index.php/recolma/arti...

Resumen

En este artículo introducimos una definición de cardinal finito en un topos E arbitrario y probamos que ésta es equivalente a la definición de cardinal finito en el caso de que E tenga el objeto de los números naturales (ver Definición 6.21 de (P.J.T.)). Aún más probaremos que la categoría llena de estos objetos forman un topos con el axioma de selección. Antes necesitamos algunas definiciones y resultados preliminares. No puedo continuar sin dar mi más sincero agradecimiento a Fred Linton, cuyas observaciones y sugerencias han sido centrales en este artículo, especialmente en la prueba del último teorema.

Tipo de documento:Artículo - Article
Palabras clave:Cardinal finito, topos, números naturales Fred Linton, Teorema
Unidad administrativa:Revistas electrónicas UN > Revista Colombiana de Matemáticas
Código ID:42301
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :13 Septiembre 2014 09:03
Ultima modificación:25 May 2018 21:23
Ultima modificación:25 May 2018 21:23
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox