http://wiki.googology.top/index.php?action=history&feed=atom&title=BMS%E5%88%86%E6%9E%90Part4%EF%BC%9ASSO~pLRO 2026-04-22T22:00:41Z 本wiki上该页面的版本历史 MediaWiki 1.43.1 http://wiki.googology.top/index.php?title=BMS%E5%88%86%E6%9E%90Part4%EF%BC%9ASSO~pLRO&diff=2573&oldid=prev 2025-08-30T13:59:56Z

<p>文字替换 -“<a href="/index.php?title=Bashicu%E7%9F%A9%E9%98%B5&amp;action=edit&amp;redlink=1" class="new" title="Bashicu矩阵（页面不存在）">BMS</a>”替换为“<a href="/index.php/BMS" title="BMS">BMS</a>”</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="zh-Hans-CN"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←上一版本</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2025年8月30日 (六) 21:59的版本</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>本词条展示[[<del style="font-weight: bold; text-decoration: none;">Bashicu矩阵|</del>BMS]]分析的第四部分</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>本词条展示[[BMS]]分析的第四部分</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class=&quot;wikitable&quot;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class=&quot;wikitable&quot;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|BMS</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|BMS</div></td></tr> </table>

Tabelog http://wiki.googology.top/index.php?title=BMS%E5%88%86%E6%9E%90Part4%EF%BC%9ASSO~pLRO&diff=2309&oldid=prev 2025-08-23T11:59:10Z

<p></p> <a href="http://wiki.googology.top/index.php?title=BMS%E5%88%86%E6%9E%90Part4%EF%BC%9ASSO~pLRO&amp;diff=2309&amp;oldid=2185">显示更改</a>

Z http://wiki.googology.top/index.php?title=BMS%E5%88%86%E6%9E%90Part4%EF%BC%9ASSO~pLRO&diff=2185&oldid=prev 2025-08-20T12:36:53Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="zh-Hans-CN"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←上一版本</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2025年8月20日 (三) 20:36的版本</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l868">第868行：</td> <td colspan="2" class="diff-lineno">第868行：</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|ψ(ψ_α(α_ω)) = Lαrge Rαthjen&#039;s Ordinαl</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|ψ(ψ_α(α_ω)) = Lαrge Rαthjen&#039;s Ordinαl</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[分类:分析]]</ins></div></td></tr> </table>

Z http://wiki.googology.top/index.php?title=BMS%E5%88%86%E6%9E%90Part4%EF%BC%9ASSO~pLRO&diff=2184&oldid=prev 2025-08-20T12:36:18Z

<p>创建页面，内容为“本词条展示<a href="/index.php?title=Bashicu%E7%9F%A9%E9%98%B5&amp;action=edit&amp;redlink=1" class="new" title="Bashicu矩阵（页面不存在）">BMS</a>分析的第四部分 {| class=&quot;wikitable&quot; |BMS |Standard（<a href="/index.php/%E5%BA%8F%E6%95%B0%E5%9D%8D%E7%BC%A9%E5%87%BD%E6%95%B0#BOCF" title="序数坍缩函数">BOCF</a>/<a href="/index.php/%CE%A31%E7%A8%B3%E5%AE%9A%E5%BA%8F%E6%95%B0" title="Σ1稳定序数">Σ1稳定序数</a>） |- |(0)(1,1,1)(2,2) |ψ(λa.a+1-Π0) = Small Sterget&#039;s Ordinal |- |(0)(1,1,1)(2,2)(1) |ψ(λa.a+1-Π0+1) |- |(0)(1,1,1)(2,2)(1,1) |ψ(λa.a+1-Π0+Ω) |- |(0)(1,1,1)(2,2)(1,1,1) |ψ(λa.a+1-Π0+Ω_ω) |- |(0)(1,1,1)(2,2)(1,1,1)(2,2) |ψ((λa.a+1-Π0)*2) |- |(0)(1,1,1)(2,2)(2) |ψ((λa.a+1-Π0)*ω) |- |(0)(1,1,1)(…”</p> <p><b>新页面</b></p><div>本词条展示[[Bashicu矩阵|BMS]]分析的第四部分<br /> {| class=&quot;wikitable&quot;<br /> |BMS<br /> |Standard（[[序数坍缩函数#BOCF|BOCF]]/[[Σ1稳定序数]]）<br /> |-<br /> |(0)(1,1,1)(2,2)<br /> |ψ(λa.a+1-Π0) = Small Sterget&#039;s Ordinal<br /> |-<br /> |(0)(1,1,1)(2,2)(1)<br /> |ψ(λa.a+1-Π0+1)<br /> |-<br /> |(0)(1,1,1)(2,2)(1,1)<br /> |ψ(λa.a+1-Π0+Ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(1,1,1)<br /> |ψ(λa.a+1-Π0+Ω_ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(1,1,1)(2,2)<br /> |ψ((λa.a+1-Π0)*2)<br /> |-<br /> |(0)(1,1,1)(2,2)(2)<br /> |ψ((λa.a+1-Π0)*ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1)<br /> |ψ((λa.a+1-Π0)*Ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1)(1,1,1)<br /> |ψ((λa.a+1-Π0)*Ω_ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,2)<br /> |ψ((λa.a+1-Π0)^2)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1)(2)<br /> |ψ((λa.a+1-Π0)^2*ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1)(2,1)<br /> |ψ((λa.a+1-Π0)^2*Ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1)(3)<br /> |ψ((λa.a+1-Π0)^ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1)(3,2)<br /> |ψ(Π_2 aft λa.a+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1)(3,2,1)<br /> |ψ(1-2 aft λa.a+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)<br /> |ψ(2nd λa.a+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)<br /> |ψ(Π_1(λa.a+1-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,1)(2)<br /> |ψ(2 1-(λa.a+1-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,1,1)<br /> |ψ(1-2 1-(λa.a+1-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,1,1)(4,1,1)<br /> |ψ(1-3 1-(λa.a+1-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,2)<br /> |ψ(λa.a+1-Π0 1-(λa.a+1-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,2)(2,1,1)<br /> |ψ(1-λa.a+1-Π0 1-(λa.a+1-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)<br /> |ψ((λa.a+1-Π0 1-)^Ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2)<br /> |ψ(2-λa.a+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)<br /> |ψ(1-2-λa.a+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1)(2)<br /> |ψ(3 2-λa.a+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1,1)<br /> |ψ(1-3 2-λa.a+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)<br /> |ψ(λa.a+1-Π0 2-λa.a+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(4,1,1)<br /> |ψ(1-3-λa.a+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(2,2)<br /> |ψ(λa.a+1-Π0(λa.a+1-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,2)(2,1,1)<br /> |ψ(Π1(λa.a+1-Π0(λa.a+1-Π0)))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)<br /> |ψ((λa.a+1-Π0)∩Π1(λa.a+1-Π0(λa.a+1-Π0)))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2)<br /> |ψ(λa.a+1-Π0(λa.a+1-Π0)∩Π1(λa.a+1-Π0(λa.a+1-Π0)))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2)(3,1,1)<br /> |ψ(2-(λa.a+1-Π0(λa.a+1-Π0)))<br /> |-<br /> |(0)(1,1,1)(2,2)(2,2)(2,2)<br /> |ψ(λa.a+1-Π0(λa.a+1-Π0(λa.a+1-Π0)))<br /> |-<br /> |(0)(1,1,1)(2,2)(3)<br /> |ψ((λa.a+1-Π0-)^ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)<br /> |ψ((λa.a+1-Π0-)^Ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2)<br /> |ψ((λa.a+1-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,1)<br /> |ψ((λa.a+1-Π0-)^(1,0)*Ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,1)(3,2,1)(4,3)(5,2)<br /> |ψ(2nd (λa.a+1-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,1,1)<br /> |ψ(1-(λa.a+1-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,1,1)<br /> |ψ(1-2 1-(λa.a+1-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)<br /> |ψ((λa.a+1-Π0)∩Π1(λa.a+1-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)<br /> |ψ((λa.a+1-Π0-)^Ω∩Π1(λa.a+1-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(2)<br /> |ψ((λa.a+1-Π0-)^(1,0)∩Π1(λa.a+1-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(3,1,1)<br /> |ψ(1-2-(λa.a+1-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(3,1,1)(4,2)(5,1)(4,1,1)<br /> |ψ(1-3-(λa.a+1-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(2,2)<br /> |ψ((λa.a+1-Π0-)^(1,1))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(3,1)<br /> |ψ((λa.a+1-Π0-)^(Ω))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(4,2)<br /> |ψ(2 aft λa.a+1-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)<br /> |ψ(λa.a+1-Π0 aft λa.a+1-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,1)<br /> |ψ(λa.a+1-Π0-^Ω aft λa.a+1-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,1)(2)<br /> |ψ(λa.a+1-Π0-^(1,0) aft λa.a+1-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,2)<br /> |ψ(2 aft 2nd λa.a+1-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,2)(7,3,1)(8,4)(9,3)<br /> |ψ(2 aft 3rd λa.a+1-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)<br /> |ψ(Π1(λa.a+1-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(2,2)<br /> |ψ(λa.a+1-Π0(λa.a+1-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(2,2)(3,1,1)<br /> |ψ(λa.a+1-Π1∩λa.a+1-Π0(λa.a+1-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(3,1)(2)<br /> |ψ(λa.a+1-Π1(λa.a+1-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(3,1,1)<br /> |ψ(Π1(λa.a+1-Π1(λa.a+1-Π1)))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,1)(2)<br /> |ψ((λa.a+1-Π1-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,1,1)<br /> |ψ(1-λa.a+1-Π2)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,1,1)(5,1,1)<br /> |ψ(1-λa.a+1-Π3)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)<br /> |ψ(λa.a+2-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)(2,2)<br /> |ψ(λa.a+1-Π0(λa.a+2-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)(3,1,1)<br /> |ψ(1-λa.a+1-Π1(λa.a+2-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)(3,1,1)(4,2)(4,1,1)<br /> |ψ(1-λa.a+1-Π2(λa.a+2-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)(4,2)<br /> |ψ(λa.a+2-Π0(λa.a+2-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1)(2)<br /> |ψ((λa.a+2-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)<br /> |ψ(Π1(λa.a+2-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,1,1)<br /> |ψ(Π1(λa.a+2-Π2))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,2)<br /> |ψ(λa.a+3-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,2)(7,1,1)(8,2)<br /> |ψ(λa.a+4-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)<br /> |ψ(λa.a+ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(2,2)<br /> |ψ(λa.a+1-Π0(λa.a+ω-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(3,1)(2)<br /> |ψ(λa.a+1-Π0-^(1,0) (λa.a+ω-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(3,1,1)<br /> |ψ(λa.a+ω-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)<br /> |ψ(λa.a+ω+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(4,1,1)<br /> |ψ(Π1(λa.a+ω+1-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(4,2)<br /> |ψ(λa.a+1-Π0(λa.a+ω+1-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(5,1,1)<br /> |ψ(Π1(λa.a+1-Π0(λa.a+ω+1-Π0)))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(5,2)<br /> |ψ(λa.a+ω2-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(3,2)<br /> |ψ(λa.a+ω^2-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4)<br /> |ψ(λa.a+ω^ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(1,1,1)<br /> |ψ(λa.a+Ω_ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(1,1,1)(2,2)<br /> |ψ(λa.a+(λa.a+1-Π0)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(1,1,1)(2,2)(3,2)<br /> |ψ(λa.a+(λa.a+ω-Π0)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(2)<br /> |ψ(λa.a*2-Π0) = Large Stegert&#039;s Ordinal<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(2,1,1)<br /> |ψ(Π1(λa.a*2-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(2,2)<br /> |ψ(λa.a+1-Π0(λa.a*2-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(2,2)(3,2)(4,1)(1,1,1)(2,2)(3,2)(4,1)(2)<br /> |ψ(λa.a+(λa.a*2-Π0)-Π0(λa.a*2-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(2,2)(3,2)(4,1)(2)<br /> |ψ(λa.a*2-Π0(λa.a*2-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(3,1)(2)<br /> |ψ((λa.a*2-Π0-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)<br /> |ψ(λa.a*2-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,1,1)<br /> |ψ(λa.a*2-Π2)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2)<br /> |ψ(λa.a*2+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2)(5,2)<br /> |ψ(λa.a*2+ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2)(5,2)(6,1)(2)<br /> |ψ(λa.a*3-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(3,2)<br /> |ψ(λa.a*ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(3,2)(4,1)<br /> |ψ(λa.a*Ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(3,2)(4,1)(2)<br /> |ψ(λa.a^2-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(4)<br /> |ψ(λa.a^ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(5)<br /> |ψ(λa.a^a^ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(5,2)<br /> |ψ(λa.ε(a+1)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(5,2,1)<br /> |ψ(λa.ψΩ_(a+1)(Ω_(a+ω))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1)(5,2,1)(6,3)<br /> |ψ(λa.ψΩ_(a+1)(λa.a+1-Π0 aft a)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)<br /> |ψ(1-λa.Ω(a+1)-Π1) = Admissible-pfec Ordinal<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(2,1,1)<br /> |ψ(1-1-a.Ω(a+1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(2,2)<br /> |ψ(ω-λa.Ω(a+1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(2,2)(3,2)(4,1,1)<br /> |ψ(λa.Ω(a+1)-Π1-λa.Ω(a+1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1)<br /> |ψ((λa.Ω(a+1)-Π1-)^Ω)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1)(2)<br /> |ψ((λa.Ω(a+1)-Π1-)^(1,0))<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)<br /> |ψ(1-λa.Ω(a+1)-Π2)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)(4,2)<br /> |ψ(λa.Ω(a+1)+1-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)(4,2)(5,1)(2)<br /> |ψ(λa.Ω(a+1)+a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)(4,2)(5,2)(6,1,1)<br /> |ψ(1-λa.Ω(a+1)2-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,2)<br /> |ψ(λa.Ω(a+1)ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,2)(4,1,1)<br /> |ψ(1-λa.Ω(a+1)^2-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(4,1)(2)<br /> |ψ(λa.Ω(a+1)^a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(4,1,1)<br /> |ψ(1-λa.Ω(a+1)^Ω(a+1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)<br /> |ψ(λa.ε(Ω(a+1)+1)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,1)(2)<br /> |ψ(λa.ε(Ω(a+1)+a)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1)(2)<br /> |ψ(λa.φ(a,Ω(a+1)+1)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1,1)<br /> |ψ(1-λa.φ(Ω(a+1),1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1,1)(5,2)(6,2)(7,1,1)<br /> |ψ(1-λa.φ(Ω(a+1),2)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1,1)(6,1,1)<br /> |ψ(1-λa.φ(Ω(a+1),Ω(a+1))-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1,1)(6,2)<br /> |ψ(λa.φ(Ω(a+1)+1,0)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,2)(4,2)<br /> |ψ(λa.Γ(Ω(a+1)+1)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,3)<br /> |ψ(λa.ψ_Ω(a+2)(2 aft Ω(a+1))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,3,1)<br /> |ψ(λa.ψ_Ω(a+2)(1-2 aft Ω(a+1))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2)(3,3,1)(4,4)<br /> |ψ(λa.ψ_Ω(a+2)(Π_ω aft Ω(a+1))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)<br /> |ψ(Π1(λa.Ω(a+2)-Π1)) = 1st TSS Back Gear Ordinal<br /> |-<br /> |(0)(1,1,1)(2,2,1)(1)<br /> |ψ(Π1(λa.Ω(a+2)-Π1)+1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(1,1)<br /> |ψ(Π1(λa.Ω(a+2)-Π1)+Ω)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(1,1,1)<br /> |ψ(Π1(λa.Ω(a+2)-Π1)+Ω_ω)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2)<br /> |ψ(Π1(λa.Ω(a+2)-Π1)*ω)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,1,1)<br /> |ψ(1-1-λa.Ω(a+2)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,1,1)(3,1,1)<br /> |ψ(1-2 1-λa.Ω(a+2)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,1,1)(3,2)<br /> |ψ(λa.a+1-Π0 1-λa.Ω(a+2)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)<br /> |ψ(1-λa.Ω(a+2)-Π1 1-λa.Ω(a+2)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3)<br /> |ψ((λa.Ω(a+2)-Π1 1-)^ω)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1,1)<br /> |ψ(1-2-λa.Ω(a+2)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1,1)(4,2,1)<br /> |ψ(1-λa.Ω(a+2)-Π1 2-λa.Ω(a+2)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1,1)(4,2,1)(5,1,1)<br /> |ψ(1-3-λa.Ω(a+2)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)<br /> |ψ(λa.a+1-Π0(λa.Ω(a+2)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)<br /> |ψ(λa.a+ω-Π0(λa.Ω(a+2)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)<br /> |ψ(1-λa.Ω(a+1)-Π1(λa.Ω(a+2)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2)(6,3)<br /> |ψ(λa.ψ_Ω(a+2)(2 aft Ω_(a+1))-Π0(λa.Ω(a+2)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2)(6,3,1)(7,4,1)<br /> |ψ(λa.ψ_Ω(a+2)(1-λa.Ω(a+2)-Π1 aft Ω_(a+1))-Π0(λa.Ω(a+2)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)<br /> |ψ(1-λa.Ω(a+2)-Π1(λa.Ω(a+2)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,1,1)<br /> |ψ(1-λa.Ω(a+2)-Π2)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,1,1)(4,1)(2)<br /> |ψ(λa.Ω(a+2)+a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,1,1)(4,1,1)<br /> |ψ(1-λa.Ω(a+2)+Ω(a+1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,1,1)(4,2,1)<br /> |ψ(1-λa.Ω(a+2)*2-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,2)<br /> |ψ(λa.Ω(a+2)ω-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,2)(4,1,1)<br /> |ψ(1-λa.Ω(a+2)*Ω(a+1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,2)(4,1,1)(5,2,1)<br /> |ψ(1-λa.Ω(a+2)^2-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(4,1,1)(5,2,1)<br /> |ψ(1-λa.Ω(a+2)^Ω(a+2)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(5,2)<br /> |ψ(λa.ε(Ω(a+2)+1)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(5,2)(6,2)(7,1,1)(8,2,1)<br /> |ψ(λa.φ(Ω(a+2),1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,2)<br /> |ψ(λa.Γ(Ω_(a+2)+1)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,3,1)<br /> |ψ(λa.ψ_Ω(a+3)(1-2 aft ω(a+2))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,3,1)(4,4)<br /> |ψ(λa.ψ_Ω(a+3)(λa.a+1-Π0 aft ω(a+2))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2)(3,3,1)(4,4,1)<br /> |ψ(λa.ψ_Ω(a+3)(Π1(λa.Ω(a+2)-Π1) aft ω(a+2))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2,1)<br /> |ψ(Π1(λa.Ω(a+3)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(2,2,1)(2,2,1)<br /> |ψ(Π1(λa.Ω(a+4)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3)<br /> |ψ(λa.Ω(a+ω)-Π0) = Small Dropping Ordinal<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1)<br /> |ψ(λa.Ω(a+Ω)-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1)(1,1,1)<br /> |ψ(λa.Ω(a+Ω_ω)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1)(1,1,1)(2,2,1)(3)<br /> |ψ(λa.Ω(a+λa.Ω(a+ω)-Π0)-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1)(2)<br /> |ψ(λa.Ω(a*2)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1)(2,1,1)<br /> |ψ(Π1(λa.Ω(a*2)-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1)(4,2)<br /> |ψ(λa.Ω(ε(a+1))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1)(4,2,1)<br /> |ψ(λa.Ω(ψ_Ω(a+1)(Ω(a+ω)))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1,1)<br /> |ψ(Π1(λa.Ω(Ω(a+1))-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1,1)(4,2)<br /> |ψ(λa.Ω(ε(Ω(a+1)+1))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)<br /> |ψ(Π1(λa.Ω(Ω(a+2))-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5)<br /> |ψ(λa.Ω(Ω(a+ω))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5,1)(2)<br /> |ψ(λa.Ω(Ω(a*2))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5,1,1)<br /> |ψ(Π1(λa.Ω(Ω(Ω(a+1)))-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5,1,1)(6,2,1)<br /> |ψ(Π1(λa.Ω(Ω(Ω(a+2)))-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)<br /> |ψ(λa.ψ_I_(a+1)(I_(a+1))-Π0) = Large Dropping Ordinal(new)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)<br /> |ψ(Π1(λa.ψ_I_(a+1)(I_(a+1)+1)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)<br /> |ψ(Π1(λa.ψ_I_(a+1)(I_(a+1)+Ω_(a+1))-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)<br /> |ψ(Π1(λa.ψ_I_(a+1)(I_(a+1)+Ω_(a+2))-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)<br /> |ψ(λa.ψ_I_(a+1)(I_(a+1)+ψ_I_(a+1)(I_(a+1)))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,2)<br /> |ψ(λa.ψ_I_(a+1)(I_(a+1)*2))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(3,1)(2)<br /> |ψ(λa.ψ_I_(a+1)(I_(a+1)*a))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(3,1,1)<br /> |ψ(Π1(λa.ψ_I_(a+1)(I_(a+1)*Ω_(a+1))-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2)<br /> |ψ(λa.ψ_I_(a+1)(I_(a+1)*ψ_I_(a+1)(I_(a+1)))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(3,2)<br /> |ψ(λa.ψ_I_(a+1)(I(a+1)^2)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(4)<br /> |ψ(λa.ψ_I_(a+1)(I(a+1)^ω)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(4,3)<br /> |ψ(2 aft λa.I(a+1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2)(4,3,1)<br /> |ψ(1-2 aft λa.I(a+1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)<br /> |ψ(Π1(λa.I(a+1)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)<br /> |ψ(Π1(Π1(λa.I(a+1)-Π1)))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(2,2)<br /> |ψ(λa.a+1-Π0(λa.I(a+1)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)<br /> |ψ(Π1(λa.Ω(I(a+1)+1)-Π1)))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)<br /> |ψ(Π1(λa.Ω(I(a+1)+Ω_(a+1))-Π1)))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)<br /> |ψ(Π1(λa.Ω(I(a+1)2)-Π1)))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)<br /> |ψ(Π1(λa.Ω_Ω(I(a+1)+1)-Π1)))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)<br /> |ψ(λa.ψ_I_(a+2)(I_(a+2))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)<br /> |ψ(Π1(λa.I(a+2)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2)<br /> |ψ(λa.I(a2)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)<br /> |ψ(Π1(λa.I(Ω(a+1))-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2)<br /> |ψ(λa.I_(ψ_I_(a+1)(I_(a+1)))-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)<br /> |ψ(Π1(λa.I(I(a+1))-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)<br /> |ψ(2 aft λa.I(1,a+1)-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)<br /> |ψ(Π1(λa.I(1,a+1)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4)<br /> |ψ(λa.I(ω,a+1)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(2)<br /> |ψ(λa.I(a,1)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,1,1)<br /> |ψ(Π1(λa.I(Ω(a+1),1)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1)<br /> |ψ(Π1(λa.I(Ω(a+2),1)-Π1))?<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)<br /> |ψ(λa.(2 1-)^(1,0) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3)<br /> |ψ(λa.1-(2 1-)^(1,0) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2)<br /> |ψ(λa.(1-)^(1,0) (2 1-)^(1,0) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)<br /> |ψ(Π1(λa.(2 1-)^(1,1) aft a-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4)<br /> |ψ(λa.(2 1-)^(1,ω) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,2)<br /> |ψ(λa.(2 1-)^(2,0) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4)<br /> |ψ(λa.(2 1-)^(ω,0) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4,2)<br /> |ψ(λa.(2 1-)^(1,0,0) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5)<br /> |ψ(λa.(2 1-)^(1@ω) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,3)<br /> |ψ(λa.(2 1-)^(1,,0) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)<br /> |ψ(Π1(λa.2-2 aft a-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2)<br /> |ψ(λa.(1-)^(1,0) aft 2-2 aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)<br /> |ψ(Π1(λa.2 aft 2-2 aft a-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3)<br /> |ψ(λa.1-2 aft 2-2 aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2)<br /> |ψ(λa.(1-)^(1,0) 2 aft 2-2 aft a-Π1)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)<br /> |ψ(Π1(λa.2 1-2 aft 2-2 aft a-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4)<br /> |ψ(λa.(2 1-)^ω aft 2-2 aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)<br /> |ψ(λa.(2 1-)^(1,0) aft 2-2 aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2,1)<br /> |ψ(Π1(λa.2nd 2-2 aft a-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3)<br /> |ψ(λa.1-2-2 aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)<br /> |ψ(λa.(1-)^(1,0) 2-2 aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)<br /> |ψ(Π1(λa.2 1-2-2 aft a-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2)<br /> |ψ(λa.(2 1-)^(1,0) 2-2 aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2,1)<br /> |ψ(Π1(λa.2-2 1-2-2 aft a-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4)<br /> |ψ(λa.(2-2 1-)^ω aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2)<br /> |ψ(λa.(2-2 1-)^(1,0) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2,1)<br /> |ψ(Π1(λa.N(a+1)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5)<br /> |ψ(λa.(2-)^ω aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,1)(2)<br /> |ψ(λa.(2-)^a aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,1)(2)<br /> |ψ(λa.(2-)^(2 aft a) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2)<br /> |ψ(λa.(2-)^(1,0) aft a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1)<br /> |ψ(Π1(λa.3 aft a-Π2))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1)(6,2,1)<br /> |ψ(Π1(λa.4 aft a-Π3))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)<br /> |ψ(psd.doubly-(+1)-stb) = Doubly Stability Ordinal<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(2,1,1)<br /> |ψ(1-λa.(λb.b+1-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(2,2)<br /> |ψ(λa.a+1-Π0(λa.(λb.b+1-Π0)[a+1]-Π0))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(2,2,1)<br /> |ψ(Π1(λa.2 aft (λb.b+1-Π0)[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(2,2,1)(3,3)<br /> |ψ(λa.(λb.b+1-Π0)[a+2]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(3,1)(2)<br /> |ψ(λa.2nd (1-)^a (λb.b+1-Π0)Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(3,2)<br /> |ψ(λa.(1-)^(1,0) (λb.b+1-Π0)Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(3,2,1)<br /> |ψ(λa.2 1-(λb.b+1-Π0)Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(3,3)<br /> |ψ(λa.(λb.b+1-Π0)-(λb.b+1-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,1)(2)<br /> |ψ(λa.(λb.b+1-Π0)^a-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,1,1)<br /> |ψ(Π1(λa.(λb.b+1-Π0)^(2 aft a)-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,2)<br /> |ψ(λa.(λb.b+1-Π0)^(1,0)-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,2)(5,3,1)<br /> |ψ(λa.1-2 aft λb.b+1-Π1[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,2)(5,3,1)(6,4,1)(7,3)<br /> |ψ(λa.(λb.b+1-Π0[a+1] aft λb.b+1-Π1[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,2,1)<br /> |ψ(Π1(λa.λb.b+1-Π1[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,2,1)(5,3)<br /> |ψ(λa.(λb.b+2-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,3)<br /> |ψ(λa.(λb.b+ω-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1)(2)<br /> |ψ(λa.(λb.b+a-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1)(4,2,1)<br /> |ψ(Π1(λa.(λb.b+a-Π1)[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1,1)<br /> |ψ(Π1(λa.(λb.b+Ω(a+1)-Π1)[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1,1)(6,2,1)<br /> |ψ(Π1(λa.(λb.b+Ω(a+2)-Π1)[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1,1)(6,2,1)(7,3)<br /> |ψ(λa.(λb.b+(λb.b+1-Π0[a+1]))[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,2)<br /> |ψ(λa.(λb.b2-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,2,1)<br /> |ψ(Π1(λa.(λb.Ω(b+1)-Π1)[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,3)<br /> |ψ(λa.(λb.Γ(Ω(b+1)+1)-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,4,1)<br /> |ψ(λa.(λb.ψ_Ω(b+2)(Ω(b+ω))-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3)(4,4,1)(5,5,1)<br /> |ψ(λa.(λb.ψ_Ω(b+2)(wth λa.Ω(a+2)-Π1 aft b)-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)<br /> |ψ(Π1(λa.(λb.Ω(b+2)-Π1)[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4)<br /> |ψ(λa.(λb.Ω(b+ω)-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,1)(2)<br /> |ψ(λa.(λb.Ω(b+a)-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,1,1)<br /> |ψ(Π1(λa.(λb.Ω(b+Ω(a+1))-Π1)[a+ω]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,2)<br /> |ψ(λa.(λb.Ω(b2)-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,2,1)<br /> |ψ(Π1(λa.(λb.Ω(Ω(b+1))-Π1)[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,3)<br /> |ψ(λa.(λb.ψ_I_(b+1)(I_(b+1))-Π0)[a+1]-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)<br /> |ψ(Π1(λa.(λb.I(a+1)-Π1)[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(5,3,1)<br /> |ψ(Π1(λa.(λb.M(a+1)-Π1)[a+1]-Π1))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(5,3,1)(6,3,1)<br /> |ψ(Π1(λa.(λb.K(a+1)-Π2)[a+1]-Π2))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,4)<br /> |ψ(psd.triply-(+1)-stb) = Triply Stability Ordinal<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,4)(5,4)(6,3)<br /> |ψ(psd.triply-(×2)-stb)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,4,1)<br /> |ψ(Π1(triply-(++)-stb))<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,4,1)(5,5)<br /> |ψ(psd.qudraply-(+1)-stb)<br /> |-<br /> |(0)(1,1,1)(2,2,1)(3,3,1)(4,4,1)(5,5,1)(6,6)<br /> |ψ(5.π-Π0)<br /> |-<br /> |(0)(1,1,1)(2,2,2)<br /> |ψ(ψ_α(α_ω)) = Lαrge Rαthjen&#039;s Ordinαl<br /> |}</div>

Z