打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

OScpN

来自Googology Wiki

含父项关系的序数序列(Ordinal Sequence containing parent-term relationship Notation)作者为积分元素。

其表达式为二元组(a1,a2,a3,...an1,an)(c1,c2,c3,...cn1,cn),其中a1,a2,a3,...an1,an为大于等于ω的序数。a1=ωc1,c2,c3,...cn1,cn为自然数,用来表示序数序列的父项关系(即另一种形式的山脉图)。

父项的基本性质

a1=ω没有父项。

其余ai=ω可以没有父项,也可以有父项。

任何大于ω的项都有父项。

某元素ai的父项必须小于等于它自身,且位置在其自身左侧。

我们可以用不少方式来暗示父项关系。例如:

1.标记父项距离

如:(ω,ω+1,ω+1)(0,1,1)即代表第三项的父项为第二项,第二项的父项为第一项,第一项没有父项。0代表对应位置的元素无父项。正整数n代表对应元素的父项是它向左找到第n项对应的元素。

2.PrSS

如:(ω,ω+1,ω+1)(1,2,3)即代表第三项的父项为第二项,第二项的父项为第一项,第一项没有父项。1代表对应位置的元素无父项。这是如何看出来的?因为PrSS(1,2,3)的父项关系正如上所述。