PSS Hydra

PSS Hydra(Pair Sequence System Hydra)， 是一种Hydra型序数记号，其行为和BO之前的BOCF类似。

定义

合法表达式

PSS Hydra 的表达式由${\psi }_n^H(n\in \mathbb{\mathbb{N}})$，$+$，$0$和括号组成。在使用时，${\psi }_n^H$通常简写为$pn$。

PSS Hydra的合法表达式可以按以下的方式递归定义：

• $0$为合法表达式，其等级为1；
• 若$n$为正整数，$A$为等级$\le n+1$的合法表达式，则${\psi }_n^H(A)$为合法表达式，其等级为$n$；
• 若$A,B$分别为等级为$m,n$的合法表达式，则$A+B$也为合法表达式，其等级为$\max \{m,n\}$。

一个PSS Hydra的合法表达式对应一个小于${\omega }_1^{CK}$的序数，当且仅当其等级为1。

展开

• 若$P=0$，则其对应序数0；
• 若$P=\mathrm{\#}+{\psi }_1^H(0)$，则$P$对应一个后继序数，其前驱为$P^{\prime }=\mathrm{\#}$；
• 若$P={\mathrm{\#}}_1({\psi }_k^H({\mathrm{\#}}_2+{\psi }_1^H(0)))$，则$P[n]={\mathrm{\#}}_1({\psi }_k^H({\mathrm{\#}}_2)+{\psi }_k^H({\mathrm{\#}}_2)+\cdots +{\psi }_k^H({\mathrm{\#}}_2))$，其中${\psi }_k^H({\mathrm{\#}}_2)$出现n次；
• 若$P={\mathrm{\#}}_1({\psi }_k^H({\mathrm{\#}}_2({\psi }_{k+1}^H(0))))$，${\mathrm{\#}}_2$不包含${\psi }_k^H$，则$P[n]={\mathrm{\#}}_1(h^n(0))$，其中$h(x)={\psi }_k^H({\mathrm{\#}}_2(x))$。