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 para d...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universidad Industrial de Santander
2011-01-01
|
| Series: | Revista Integración |
| Online Access: | http://www.redalyc.org/articulo.oa?id=327028020004 |