每个人都是记载生活之人
原作者:佩勒
让我们从零开始重新认识另一套序数系统,这套系统主打的不是像OCF、Veblen等吃奶堆上去,而是通过几个数字排列结合产生逆天大小,PrSS作为在这方面开创的首个序数记号,应当被我们重视
PrSS(Primitive Sequence System,初等序列系统),日本大数学者Bashicu于2014年提出,并在此后为大数学开创了一条新的分支-序列序数
它的定义如下:
()=0
(X,1)=(X)+1其中X为任意合法序列
(X,a_i,Y,a_j)=(X,a_i,Y,a_i,Y,a_i,Y,…)其中X,Y为任意合法序列,i,j,a_i,a_j满足i
族客云提供支持