http://wiki.googology.top/index.php?action=history&feed=atom&title=%E9%80%92%E5%BD%92%E4%B8%8D%E5%8F%AF%E8%BE%BE%E5%BA%8F%E6%95%B0
递归不可达序数 - 版本历史
2026-04-22T17:38:06Z
本wiki上该页面的版本历史
MediaWiki 1.43.1
http://wiki.googology.top/index.php?title=%E9%80%92%E5%BD%92%E4%B8%8D%E5%8F%AF%E8%BE%BE%E5%BA%8F%E6%95%B0&diff=2535&oldid=prev
Guogaoloogy：I补全
2025-08-29T08:53:28Z
<p>I补全</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月29日 (五) 16:53的版本</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l6">第6行：</td>
<td colspan="2" class="diff-lineno">第6行：</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># <math>\psi_I(0)=\text{1st }(1-)^{1,0}~2 </math></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># <math>\psi_I(0)=\text{1st }(1-)^{1,0}~2 </math></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># <math>\psi_I(\alpha+1)\neq\psi_I(\alpha)</math> 则 <math>\psi_I(\alpha+1)=(1-)^{1,0}\text{ aft }\psi_I(\alpha)</math></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># <math>\psi_I(\alpha+1)\neq\psi_I(\alpha)</math> 则 <math>\psi_I(\alpha+1)=(1-)^{1,0}\text{ aft }\psi_I(\alpha)</math></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;"># <math>\psi_I(\alpha)[n]=\psi_I(\alpha[n])</math>,注意这里<math>\alpha</math>可以有比<math>\omega</math>长的基本列</ins></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;"># <math>\psi_I(\alpha)[n]=\psi_I(\alpha[\psi_I(\alpha)[n-1]]),\psi_I(\alpha)[0]=\Omega</math>,这里<math>\alpha</math>基本列长为I.</ins></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;"><br></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;"><br></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>''TO DO: <del style="font-weight: bold; text-decoration: none;">I </del>的 OCF''</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>''TO DO: <ins style="font-weight: bold; text-decoration: none;">多元I </ins>的 OCF''</div></td></tr>
</table>
Guogaoloogy
http://wiki.googology.top/index.php?title=%E9%80%92%E5%BD%92%E4%B8%8D%E5%8F%AF%E8%BE%BE%E5%BA%8F%E6%95%B0&diff=2378&oldid=prev
2025年8月24日 (日) 10:16 Tabelog
2025-08-24T10:16: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月24日 (日) 18:16的版本</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><math><del style="font-weight: bold; text-decoration: none;">(1)\psi_I(0)=1st</del></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><ins style="font-weight: bold; text-decoration: none;">递归不可达序数 </ins><math><ins style="font-weight: bold; text-decoration: none;">I</math> 是一个大[[反射序数]]，定义为 <math>2~</ins>1-2</math><ins style="font-weight: bold; text-decoration: none;">。</ins></div></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;">(</del>1-<del style="font-weight: bold; text-decoration: none;">)^{1,0} </del>2 </math></div></td><td colspan="2" class="diff-side-added"></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;"><br></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;"><br></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><math>(2<del style="font-weight: bold; text-decoration: none;">)</del>\psi_I(<del style="font-weight: bold; text-decoration: none;">a</del>+1)\neq\psi_I(<del style="font-weight: bold; text-decoration: none;">a</del>)</math>则<math>\psi_I(<del style="font-weight: bold; text-decoration: none;">a</del>+1)=(1-)^{1,0}aft\psi_I(<del style="font-weight: bold; text-decoration: none;">a</del>)</math></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><ins style="font-weight: bold; text-decoration: none;">=== I 的 OCF ===</ins></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;">以下介绍 I 及多元 I 函数在 [[序数坍缩函数|OCF]] 中的折叠规则。</ins></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> </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><math><ins style="font-weight: bold; text-decoration: none;">\psi_I(0)=\text{1st }</ins>(<ins style="font-weight: bold; text-decoration: none;">1-)^{1,0}~</ins>2 <ins style="font-weight: bold; text-decoration: none;"></math></ins></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;"># <math></ins>\psi_I(<ins style="font-weight: bold; text-decoration: none;">\alpha</ins>+1)\neq\psi_I(<ins style="font-weight: bold; text-decoration: none;">\alpha</ins>)</math> 则 <math>\psi_I(<ins style="font-weight: bold; text-decoration: none;">\alpha</ins>+1)=(1-)^{1,0}<ins style="font-weight: bold; text-decoration: none;">\text{ </ins>aft <ins style="font-weight: bold; text-decoration: none;">}</ins>\psi_I(<ins style="font-weight: bold; text-decoration: none;">\alpha</ins>)</math></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> </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;">''TO DO: I 的 OCF''</ins></div></td></tr>
</table>
Tabelog
http://wiki.googology.top/index.php?title=%E9%80%92%E5%BD%92%E4%B8%8D%E5%8F%AF%E8%BE%BE%E5%BA%8F%E6%95%B0&diff=2303&oldid=prev
2025年8月23日 (六) 01:07 Guogaoloogy
2025-08-23T01:07:18Z
<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月23日 (六) 09:07的版本</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2">第2行：</td>
<td colspan="2" class="diff-lineno">第2行：</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>(1-)^{1,0} 2 </math></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>(1-)^{1,0} 2 </math></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;"><br></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;"><br></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><math>(2)\psi_I(a+1)\neq\psi_I(a)</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><math>(2)\psi_I(a+1)\neq\psi_I(a)<ins style="font-weight: bold; text-decoration: none;"></math>则<math></ins>\psi_I(a+1)=(1-)^{1,0}aft\psi_I(a)</math></div></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>\psi_I(a+1)=(1-)^{1,0}</div></td><td colspan="2" class="diff-side-added"></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>aft\psi_I(a)</math></div></td><td colspan="2" class="diff-side-added"></td></tr>
</table>
Guogaoloogy
http://wiki.googology.top/index.php?title=%E9%80%92%E5%BD%92%E4%B8%8D%E5%8F%AF%E8%BE%BE%E5%BA%8F%E6%95%B0&diff=2302&oldid=prev
2025年8月23日 (六) 01:04 Guogaoloogy
2025-08-23T01:04:47Z
<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月23日 (六) 09:04的版本</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"></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><math>(1)\psi_I(0)=1st</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><math>(1)\psi_I(0)=1st</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>(1-)^{1,0} 2 </math></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>(1-)^{1,0} 2 </math></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>
<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;"><math>(2)\psi_I(a+1)\neq\psi_I(a)</ins></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;">\psi_I(a+1)=(1-)^{1,0}</ins></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;">aft\psi_I(a)</math></ins></div></td></tr>
</table>
Guogaoloogy
http://wiki.googology.top/index.php?title=%E9%80%92%E5%BD%92%E4%B8%8D%E5%8F%AF%E8%BE%BE%E5%BA%8F%E6%95%B0&diff=2260&oldid=prev
Guogaoloogy：创建页面，内容为“<math>(1)\psi_I(0)=1st (1-)^{1,0} 2 </math>”
2025-08-21T06:45:21Z
<p>创建页面，内容为“<math>(1)\psi_I(0)=1st (1-)^{1,0} 2 </math>”</p>
<p><b>新页面</b></p><div><math>(1)\psi_I(0)=1st<br />
(1-)^{1,0} 2 </math></div>
Guogaoloogy