Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Citado por Google
- Similares en SciELO
- Similares en Google
Compartir
Revista Integración
versión impresa ISSN 0120-419X
Resumen
PARRA-LONDONOA, CARLOS y MEJIA-GUZMAN, DIEGO. Recursion, induction and well-founded orders. Integración - UIS [online]. 2011, vol.29, n.2, pp.143-150. ISSN 0120-419X.
Abstract. Based on the characterization of the set of natural numbers by the recursion property, developed in [2], we prove in a general setting that the properties of recursion, induction and well-foundedness are equivalent for a given set. This result is extended to classes and is used to give another proof of the characterization of the set of natural numbers by recursion.
Palabras clave : recursion; induction; well-founded order.