Artículo Original
Publicado 2011-11-23
Palabras clave
- recursión,
- inducción,
- orden bien fundado
Cómo citar
Parra-Londoño, C., & Mejía-Guzmán, D. (2011). Recursión, inducción y órdenes bien fundados. Revista Integración, Temas De matemáticas, 29(2), 143–150. Recuperado a partir de https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555
Resumen
Con base en la caracterización de los números naturales a partir de la propiedad de recursión (ver [2]), probamos en forma general que para un conjunto dado las propiedades de recursión, inducción y buena fundación son equivalentes entre sí. El resultado lo extendemos a clases y lo utilizamos para dar otra prueba de la caracterización del conjunto de los naturales mediante recursión.
Descargas
Los datos de descargas todavía no están disponibles.
Referencias
[1] Kunen K., Set Theory. An Introduction to Independence Proofs, North-Holland, Amsterdam, 1980.
[2] Lawvere F.W., “An elementary theory of the category of sets (long version) with commentary”, Repr. Theory Appl. Categ. 11 (2005), 1-35.
[3] Levy A., Basic Set Theory, Dover, New York, 2002.
[2] Lawvere F.W., “An elementary theory of the category of sets (long version) with commentary”, Repr. Theory Appl. Categ. 11 (2005), 1-35.
[3] Levy A., Basic Set Theory, Dover, New York, 2002.