決定性公理
モシュコヴァキスは順序数 δ n 1 {\displaystyle \delta _{n}^{1}} を導入した。これは Δ n 1 {\displaystyle {\boldsymbol {\Delta }}_{n}^{1}} -ノルムの長さの上限である。ここで、 Δ n 1 {\displaystyle {\boldsymbol {\Delta }}_{n}^{1}} は射影階層のレベルである。AD を仮定すると、全ての δ n 1 {\displaystyle \delta _{n}^{1}} は 始順序数 となり、 δ 2 n + 2 1 = ( δ 2 n + 1 1 ) + {\displaystyle \delta _{2n+2}^{1}=(\delta _{2n+1}^{1})^{+}} となる。そして、 n < ω {\displaystyle n<\omega } について 2 n {\displaystyle 2n} 番目のススリン基数は δ 2 n − 1 1 {\displaystyle \delta _{2n-1}^{1}} に等しくなる。