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-11-01
|
| Series: | Revista Integración |
| Subjects: | |
| Online Access: | https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555 |