全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

Recursión, inducción y órdenes bien fundados

Keywords: recursion, induction, well-founded order.

Full-Text   Cite this paper   Add to My Lib

Abstract:

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133