网站首页  英汉词典

请输入您要查询的英文单词:

 

单词 Recursive ordinal
释义

Recursive ordinal

英语百科

Recursive ordinal

In mathematics, specifically set theory, an ordinal \alpha is said to be recursive if there is a recursive well-ordering of a subset of the natural numbers having the order type \alpha.

It is trivial to check that \omega is recursive, the successor of a recursive ordinal is recursive, and the set of all recursive ordinals is closed downwards. The supremum of all recursive ordinals is called the Church-Kleene ordinal and denoted by \omega^{CK}_1. Indeed, an ordinal is recursive if and only if it is smaller than \omega^{CK}_1. Since there are only countably many recursive relations, there are also only countably many recursive ordinals. Thus, \omega^{CK}_1 is countable.

随便看

 

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间:2025/6/19 13:51:22