Recursion, induction and well-founded orders

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...

Full description

Autores:

Tipo de recurso:

Fecha de publicación:: 2011

Institución:: Universidad Industrial de Santander

Repositorio:: Repositorio UIS

Idioma:: spa

id	UISANTADR2_8aca1586f1076712f18d37656689a92c
oai_identifier_str	oai:noesis.uis.edu.co:20.500.14071/7324
network_acronym_str	UISANTADR2
network_name_str	Repositorio UIS
repository_id_str
spelling	Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)http://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessAtribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)2011-11-232022-03-14T20:23:28Z2022-03-14T20:23:28Zhttps://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555https://noesis.uis.edu.co/handle/20.500.14071/7324Con 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.  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.application/pdfspaUniversidad Industrial de Santanderhttps://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555/2881Revista integración, temas de matemáticas; Vol. 29 Núm. 2 (2011): Revista Integración, temas de matemáticas; 143-150REVISTA INTEGRACIÓN; v. 29 n. 2 (2011): Revista Integración, temas de matemáticas; 143-1502145-84720120-419Xrecursioninductionwell-founded orderrecursióninducciónorden bien fundadoRecursion, induction and well-founded ordersRecursión, inducción y órdenes bien fundadosinfo:eu-repo/semantics/articlehttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_2df8fbb1Parra-Londoño, CarlosMejía-Guzmán, Diego20.500.14071/7324oai:noesis.uis.edu.co:20.500.14071/73242022-03-16 12:39:58.366metadata.onlyhttps://noesis.uis.edu.coDSpace at UISnoesis@uis.edu.co
dc.title.en-US.fl_str_mv	Recursion, induction and well-founded orders
dc.title.es-ES.fl_str_mv	Recursión, inducción y órdenes bien fundados
title	Recursion, induction and well-founded orders
spellingShingle	Recursion, induction and well-founded orders recursion induction well-founded order recursión inducción orden bien fundado
title_short	Recursion, induction and well-founded orders
title_full	Recursion, induction and well-founded orders
title_fullStr	Recursion, induction and well-founded orders
title_full_unstemmed	Recursion, induction and well-founded orders
title_sort	Recursion, induction and well-founded orders
dc.subject.en-US.fl_str_mv	recursion induction well-founded order
topic	recursion induction well-founded order recursión inducción orden bien fundado
dc.subject.es-ES.fl_str_mv	recursión inducción orden bien fundado
description	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 dar otra prueba de la caracterización del conjunto de los naturales mediante recursión.
publishDate	2011
dc.date.accessioned.none.fl_str_mv	2022-03-14T20:23:28Z
dc.date.available.none.fl_str_mv	2022-03-14T20:23:28Z
dc.date.none.fl_str_mv	2011-11-23
dc.type.none.fl_str_mv	info:eu-repo/semantics/article
dc.type.coarversion.fl_str_mv	http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.fl_str_mv	http://purl.org/coar/resource_type/c_2df8fbb1
dc.identifier.none.fl_str_mv	https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555
dc.identifier.uri.none.fl_str_mv	https://noesis.uis.edu.co/handle/20.500.14071/7324
url	https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555 https://noesis.uis.edu.co/handle/20.500.14071/7324
dc.language.none.fl_str_mv	spa
language	spa
dc.relation.none.fl_str_mv	https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555/2881
dc.rights.license.none.fl_str_mv	Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
dc.rights.coar.none.fl_str_mv	http://purl.org/coar/access_right/c_abf2
dc.rights.accessrights.none.fl_str_mv	info:eu-repo/semantics/openAccess
dc.rights.creativecommons.none.fl_str_mv	Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
rights_invalid_str_mv	Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) http://purl.org/coar/access_right/c_abf2 Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
eu_rights_str_mv	openAccess
dc.format.none.fl_str_mv	application/pdf
dc.publisher.es-ES.fl_str_mv	Universidad Industrial de Santander
dc.source.es-ES.fl_str_mv	Revista integración, temas de matemáticas; Vol. 29 Núm. 2 (2011): Revista Integración, temas de matemáticas; 143-150
dc.source.pt-BR.fl_str_mv	REVISTA INTEGRACIÓN; v. 29 n. 2 (2011): Revista Integración, temas de matemáticas; 143-150
dc.source.none.fl_str_mv	2145-8472 0120-419X
institution	Universidad Industrial de Santander
repository.name.fl_str_mv	DSpace at UIS
repository.mail.fl_str_mv	noesis@uis.edu.co
_version_	1814095191606296576

Recursion, induction and well-founded orders

Publicaciones similares