Recursión, inducción y órdenes bien fundados
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 par...
Main Authors: | , |
---|---|
Format: | Article |
Language: | Spanish |
Published: |
Universidad Industrial de Santander
2011-12-01
|
Series: | Revista Integración |
Subjects: | |
Online Access: | http://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555/2881 |