递归序数

基本属性

• 拼音字母di gui xu shu
• 拼音首字母dgxs
• 注音符号ㄉㄧ ㄍㄨㄟ ㄒㄩ ㄕㄨ

扩展释义

可构造序数是一种特殊的序数。α为可构造序数，是指存在一个记号系统S，使得S中有α的记号。可构造序数都是可数序数，可构造序数的全体构成序数的一个前节，并且可构造序数只有可数多个。递归序数(recursive ordinal)是一种可构造序数。α为递归序数是指存在(某个自然数集上的)递归关系R，使得R为良序，并且R给出良序与α同构。