你
请解释一下「递归序数」这个词的含义。
助手
递归序数
dì guī xù shù · ㄉㄧˋ ㄍㄨㄟ ㄒㄩˋ ㄕㄨˋ
di gui xu shu
dgxs
ㄉㄧ ㄍㄨㄟ ㄒㄩ ㄕㄨ
2026-07-10 13:10:18
扩展释义
可构造序数是一种特殊的序数。α为可构造序数，是指存在一个记号系统S，使得S中有α的记号。可构造序数都是可数序数，可构造序数的全体构成序数的一个前节，并且可构造序数只有可数多个。递归序数(recursive ordinal)是一种可构造序数。α为递归序数是指存在(某个自然数集上的)递归关系R，使得R为良序，并且R给出良序与α同构。