非递归化序列记号
来自Googology Wiki
更多操作
本词条介绍将部分序列记号改造为非递归记号的通用办法。
定义
对于极限基本列为 、、……的,且存在坏根、好部、坏部的序列型记号,可以按照如下方法将其转换为非递归记号:
- 末项为 1,则为后继;
- 否则,在序列最前方补一个 1,随后按该记号规则找到坏根,如果坏根不是补的那个1,则按照该记号规则正常展开;
- 否则,将末项 - 1,随后在后面加一个 ω,并视为非递归展开。
举例:
非递归化的 LPrSS 中,,末项不是 1,在最前补一个 1,得到 ,找到坏根为第二项 3,于是正常展开为
非递归化的 Y 序列中,,末项不是 1,在最前补一个 1,得到 ,找到坏根为首项 1,于是变为 ,并视为非递归展开。
这类非递归记号与非递归 BMS 的理念均相同,是对该记号的极限 S,如果存在一个 X 使得 ,则令任意的 。
强度
这些非递归记号的表示能力取决于原记号的强度。如: