Recursion, induction and well-founded orders

Simple item page
dc.creatorParra-Londoño, Carlos
dc.creatorMejía-Guzmán, Diego
dc.date2011-11-23
dc.date.accessioned2022-03-14T20:23:28Z
dc.date.available2022-03-14T20:23:28Z
dc.descriptionCon 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.  es-ES
dc.descriptionBased 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.en-US
dc.formatapplication/pdf
dc.identifierhttps://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555
dc.identifier.urihttps://noesis.uis.edu.co/handle/20.500.14071/7324
dc.languagespa
dc.publisherUniversidad Industrial de Santanderes-ES
dc.relationhttps://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555/2881
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.coarhttp://purl.org/coar/access_right/c_abf2
dc.rights.creativecommonsAtribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
dc.rights.licenseAttribution-NonCommercial 4.0 International (CC BY-NC 4.0)
dc.sourceRevista integración, temas de matemáticas; Vol. 29 Núm. 2 (2011): Revista Integración, temas de matemáticas; 143-150es-ES
dc.sourceREVISTA INTEGRACIÓN; v. 29 n. 2 (2011): Revista Integración, temas de matemáticas; 143-150pt-BR
dc.source2145-8472
dc.source0120-419X
dc.subjectrecursionen-US
dc.subjectinductionen-US
dc.subjectwell-founded orderen-US
dc.subjectrecursiónes-ES
dc.subjectinducciónes-ES
dc.subjectorden bien fundadoes-ES
dc.titleRecursion, induction and well-founded ordersen-US
dc.titleRecursión, inducción y órdenes bien fundadoses-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion
dspace.entity.type
Files
Collections
Revista Integración, temas de matemáticas