Revista Integración, temas de matemáticas.
Vol. 29 Núm. 2 (2011): Revista Integración, temas de matemáticas
Artículos científicos

Recursión, inducción y órdenes bien fundados

Carlos Parra-Londoño
Universidad Nacional de Colombia
Biografía
Diego Mejía-Guzmán
Kobe University
Biografía

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.