YourCpper的用户贡献
更多操作
2025年9月6日 (星期六)
2025年8月8日 (星期五)
- 20:322025年8月8日 (五) 20:32 差异 历史 +75 投影序数 无编辑摘要 标签:可视化编辑
- 20:152025年8月8日 (五) 20:15 差异 历史 +2,587 投影序数 无编辑摘要 标签:可视化编辑
2025年8月7日 (星期四)
- 23:452025年8月7日 (四) 23:45 差异 历史 +1,430 投影序数 无编辑摘要 标签:可视化编辑
- 22:512025年8月7日 (四) 22:51 差异 历史 +826 新 TSO 创建页面,内容为“TSO(Triply Stability Ordinal),指第一个涉及三段稳定链的序数。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.(\lambda\beta.(\lambda\gamma.\gamma+1-\Pi_0[\beta+1])-\Pi_0[\alpha+1])-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha_3+1}+1}))</math> |- |Aarex's exUNOCF |<math>\psi(\Omega_{C(1::;;0)+1})</math> |- |BMS |<math>(0)(…” 标签:可视化编辑
- 22:512025年8月7日 (四) 22:51 差异 历史 +27 DSO 无编辑摘要 标签:可视化编辑
- 22:472025年8月7日 (四) 22:47 差异 历史 +776 新 DSO 创建页面,内容为“DSO(Doubly Stability Ordinal),指第一个涉及二段稳定链的序数。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.(\lambda\beta.\beta+1-\Pi_0[\alpha+1])-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha_2+1}+1}))</math> |- |Aarex's exUNOCF |<math>\psi(\Omega_{C(1:;;0)+1})</math> |- |BMS |<math>(0)(1,1,1)(2,2,1)(3,3)</math> |- |0…” 标签:可视化编辑
- 22:372025年8月7日 (四) 22:37 差异 历史 −54 LDO 无编辑摘要 标签:可视化编辑
- 22:372025年8月7日 (四) 22:37 差异 历史 +1,050 新 LDO 创建页面,内容为“LDO(Large Dropping Ordinal),由 Username5243 命名,指代拓展 UNOCF 极限。该名字曾经也用于指代 {| class="wikitable" |<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math> |} ( {| class="wikitable" |<math>(0)(1,1,1)(2,2,1)(3,1)(2)</math> |} ) {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\Phi(1,\alpha+1)-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\Omega_{…” 标签:可视化编辑
- 22:262025年8月7日 (四) 22:26 差异 历史 +1,230 新 APO 创建页面,内容为“APO(Admissible-Parameter free effective cardinal Ordinal),是pfec稳定和adm稳定的分歧点。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\Pi_1(\lambda\alpha.\Omega_{\alpha+1}-\Pi_1))</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varphi(\Omega_{\alpha+1},1)\times\omega))</math> |- |UNOCF |<math>\psi(\Omega_{T+1}^T+\psi_{\Omega_{T+1}}(\Omega_{T+1}^T+1))</math> |- |BMS |<math>(0)(1,…” 标签:可视化编辑
- 22:142025年8月7日 (四) 22:14 差异 历史 +750 新 LSO 创建页面,内容为“SSO(Large Stegert Ordinal),是Stability的证明论序数,该结论由 Stegert 给出,因此得名。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\alpha2-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varphi(\alpha,\Omega_{\alpha+1})))</math> |- |UNOCF |<math>\psi(\Omega_{T+1}^T)</math> |- |BMS |<math>(0)(1,1,1)(2,2)(3,2)(4,1)(2)</math> |- |0-Y |<math>1,4,8,12,14,5</math> |-…” 标签:可视化编辑
- 22:062025年8月7日 (四) 22:06 差异 历史 +789 新 DO 创建页面,内容为“DO(Duchhart's Ordinal),是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\kappa+1})</math> |- |反射序数 |<math>\psi(2 \ \text{aft} \ 4)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1)(6,2)</math> |- |0-Y |<math>1,4,7,10,13,15,19</math> |- |1-Y |<math>1,2,4,8,12,16,20,23,27</math> |- |ex-hydra |<math>p1(p3(p3(p3(p3(p2(p3))))))</math> |- |D…” 标签:可视化编辑
- 22:002025年8月7日 (四) 22:00 差异 历史 +630 新 SKO 创建页面,内容为“ SKO(Small Weakly-Compact Ordinal),是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(K_\omega)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)</math> |- |反射序数 |<math>\psi(1-3)</math> |- |0-Y |<math>1,4,7,10,13</math> |- |1-Y |<math>1,2,4,8,12,16,20</math> |- |ex-hydra |<math>p1(p3(p3(p3(p3))))</math> |- |M 记号 |<math>p…” 标签:可视化编辑
- 21:572025年8月7日 (四) 21:57 差异 历史 +745 新 RO 创建页面,内容为“RO(Rathjen's Ordinal),是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(\Omega_{K+1})</math> |- |反射序数 |<math>\psi(2\ \text{aft}\ 3)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2)</math> |- |0-Y |<math>1,4,7,10,12,15</math> |- |1-Y |<math>1,2,4,8,12,16,19,23</math> |- |ex-hydra |<math>p1(p3(p3(p3(p2(p3)))))</math> |- |Dropping Hydra#M 记号|M…” 标签:可视化编辑
- 21:522025年8月7日 (四) 21:52 差异 历史 +630 新 SNO 创建页面,内容为“SNO(Small Nonconvertible Ordinal),是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(N_\omega)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1,1)</math> |- |反射序数 |<math>\psi(1-2-2-2)</math> |- |0-Y |<math>1,4,7,10,10,10</math> |- |1-Y |<math>1,2,4,8,12,16,16,16</math> |- |ex-hydra |<math>p1(p3(p3(p3+p3+p3)))</math> |- |Dropping Hydra#M 记号|M…” 标签:可视化编辑
- 21:482025年8月7日 (四) 21:48 差异 历史 0 SMO 无编辑摘要 标签:可视化编辑
- 21:472025年8月7日 (四) 21:47 差异 历史 +89 SIO 无编辑摘要 标签:可视化编辑
- 21:462025年8月7日 (四) 21:46 差异 历史 −15 小 EBO 无编辑摘要 标签:可视化编辑
- 21:452025年8月7日 (四) 21:45 差异 历史 +175 EBO 无编辑摘要 标签:可视化编辑
- 21:432025年8月7日 (四) 21:43 差异 历史 +804 新 TBO 创建页面,内容为“TBO(Transfinity Buchholz Ordinal),是一个重要的序数,因为它是序数元Buchholz函数的极限而得名。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(I(1,0,0))</math> |- |反射序数 |<math>\psi((2\ 1-)^{(1,0)}))</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2)</math> |- |0-Y |<math>1,4,7,10,9,5</math> |- |1-Y |<math>1,2,4,8,12,16,15,9</math> |-…” 标签:可视化编辑
- 21:392025年8月7日 (四) 21:39 差异 历史 +933 新 ACO 创建页面,内容为“ACO(Ackerman's Ordinal,阿克曼序数),是三元Veblen 函数的极限。 {| class="wikitable" !序数记号 !表达式 |- |Veblen 函数 |<math>\varphi(1,0,0,0)</math> |- |BOCF |<math>\psi(\Omega^{\Omega^2})</math> |- |MOCF |<math>\psi(\Omega^{\Omega^2})</math> |- |BMS |<math>(0)(1,1)(2,1)(3,1)(3,1)</math> |- |HPrSS |<math>1,3,5,7,7</math> |- |0-Y |<math>1…” 标签:可视化编辑
- 21:162025年8月7日 (四) 21:16 差异 历史 +118 序数表 无编辑摘要 标签:可视化编辑
- 21:152025年8月7日 (四) 21:15 差异 历史 +30 SHO →性质 标签:可视化编辑
- 21:142025年8月7日 (四) 21:14 差异 历史 +40 小 SHO 无编辑摘要 标签:可视化编辑
- 21:102025年8月7日 (四) 21:10 差异 历史 +597 新 SMO 创建页面,内容为“SIO(Small Mahlo Ordinal),是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(M_\omega)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)</math> |- |反射序数 |<math>\psi(1-2-2)</math> |- |0-Y |<math>1,4,7,10,10</math> |- |1-Y |<math>1,2,4,8,12,16,16</math> |- |ex-hydra |<math>p1(p3(p3(p3+p3)))</math> |- |M 记号 |<math>p(p(M^M\ti…” 标签:可视化编辑
- 21:072025年8月7日 (四) 21:07 差异 历史 +4 JO 无编辑摘要 标签:可视化编辑
- 21:072025年8月7日 (四) 21:07 差异 历史 +729 新 SRO 创建页面,内容为“SRO(Small Rathjen's Ordinal),是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(\Omega_{M+1})</math> |- |反射序数 |<math>\psi(2 \ \text{aft}\ 2-2)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)</math> |- |0-Y |<math>1,4,7,10,9,12</math> |- |1-Y |<math>1,2,4,8,12,16,15,19</math> |- |ex-hydra |<math>p1(p3(p3(p3+p2(p3))))</math> |- |Dropping Hydra#M…” 标签:可视化编辑
- 21:032025年8月7日 (四) 21:03 差异 历史 +725 新 MBO 创建页面,内容为“ MBO(Multiple Buchholz Ordinal),是一个重要的序数,因为它是多元Buchholz函数的极限而得名。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(I(\omega,0))</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3)</math> |- |0-Y |<math>1,4,7,10,8</math> |- |1-Y |<math>1,2,4,8,12,16,13</math> |- |ex-hydra |<math>p1(p3(p3(p3+p1)))</math> |- |M 记号 |<…” 标签:可视化编辑
- 21:002025年8月7日 (四) 21:00 差异 历史 +4 SIO 无编辑摘要 标签:可视化编辑
- 20:572025年8月7日 (四) 20:57 差异 历史 +519 新 SIO 创建页面,内容为“SIO(Small Inaccessible Ordinal),是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(I_\omega)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)</math> |- |0-Y |<math>1,4,7,10</math> |- |1-Y |<math>1,2,4,8,12,16</math> |- |ex-hydra |<math>p1(p3(p3(p3)))</math> |- |M 记号 |<math>p(p(M^2\times\omega))</math> |- |投影 |<math>\psi(\…” 标签:可视化编辑
2025年8月6日 (星期三)
- 22:482025年8月6日 (三) 22:48 差异 历史 +151 ΩSSO 无编辑摘要 标签:可视化编辑
- 20:512025年8月6日 (三) 20:51 差异 历史 +10 BMS 无编辑摘要 标签:可视化编辑
- 20:502025年8月6日 (三) 20:50 差异 历史 +474 BMS 无编辑摘要 标签:可视化编辑
- 20:382025年8月6日 (三) 20:38 差异 历史 +2,419 BMS 无编辑摘要 标签:可视化编辑
- 18:592025年8月6日 (三) 18:59 差异 历史 +72 GHO 无编辑摘要 标签:可视化编辑
- 18:582025年8月6日 (三) 18:58 差异 历史 +887 新 ΩSSO 创建页面,内容为“ΩSSO(Ω Sequence System Ordinal),又名WSSO,是常规TBMS的极限。因为该序数第一个是α→α行BMS的不动点而得名。 {| class="wikitable" !序数记号 !表达式 |- |向上投影 |<math>\psi(\psi_H(\varphi(H,1)))</math> |- |BTBMS |<math>(0)(1^{(2,1)})</math> |- |1-Y |<math>1,3,4,2,5,8,10</math> |- |I 1-Y(w\o 1342575) |<math>1,3,5,6,2,5,10,12</math> |- |变种…” 标签:可视化编辑
- 18:442025年8月6日 (三) 18:44 差异 历史 +13 小 GHO 无编辑摘要 标签:可视化编辑
- 18:432025年8月6日 (三) 18:43 差异 历史 +140 GHO 无编辑摘要 标签:可视化编辑
- 18:372025年8月6日 (三) 18:37 差异 历史 +935 新 SSO 创建页面,内容为“SSO(Small Stegert Ordinal),是<math>\rm{KP+\Pi_N-ref},N\in\omega</math>的证明论序数,该结论由Stegert给出,因此得名。 {| class="wikitable" !序数记号 !表达式 |- |反射序数 |<math>\psi(\rm{psd.}\Pi_\omega)</math> |- |稳定序数 |<math>\psi(\lambda\alpha.\alpha+1-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha+1}+1}))=\psi(\psi_\alpha(\alpha_2))</math> |- |UNOCF |<math>\psi(…” 标签:可视化编辑
- 18:222025年8月6日 (三) 18:22 差异 历史 +6 小 GHO 无编辑摘要 标签:可视化编辑
- 18:212025年8月6日 (三) 18:21 差异 历史 +9 LRO 无编辑摘要 标签:可视化编辑
- 18:192025年8月6日 (三) 18:19 差异 历史 +1,577 新 LRO 创建页面,内容为“LRO(Large Rathjen Ordinal),是一个重要的序数,指代<math>\rm{psd.}\omega.\rm{ply}-\rm{stb}</math>折叠后的结果,其真实大小目前尚没有明确结论,主流的观点是LRO=TSSO。另一个更常用的版本叫做pfec.LRO(简称pLRO),忽略Non-Gandy现象,其大小等于<math>(0)(1,1,1)(2,2,2)</math>,这个序数又称SBO(Small Bashicu Ordinal)或OBO(Omega Back Ordinal)<ref>ht…” 标签:可视化编辑
- 18:102025年8月6日 (三) 18:10 差异 历史 +8 小 序数表 无编辑摘要 标签:可视化编辑
- 17:512025年8月6日 (三) 17:51 差异 历史 +1,194 新 BGO 创建页面,内容为“BGO(1st TSS Back Gear Ordinal),由Bashicu命名,原来指代<math>(0)(1,1,1)(2,2)</math><ref>https://googology.fandom.com/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:BashicuHyudora/%E3%83%90%E3%82%B7%E3%82%AF%E8%A1%8C%E5%88%97%E3%81%AE%E8%A7%A3%E6%9E%90</ref>,后来因不明原因变成了<math>(0)(1,1,1)(2,2,1)</math>。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\Pi_1(\lambda\alpha.…” 标签:可视化编辑
2025年8月5日 (星期二)
- 23:102025年8月5日 (二) 23:10 差异 历史 +45 小 序数 无编辑摘要 标签:可视化编辑
- 23:092025年8月5日 (二) 23:09 差异 历史 0 新 文件:Omega4.jpg 无编辑摘要 当前
- 23:022025年8月5日 (二) 23:02 差异 历史 +227 SDO 无编辑摘要 标签:可视化编辑
- 22:592025年8月5日 (二) 22:59 差异 历史 −30 小 GHO 无编辑摘要 标签:可视化编辑
- 22:562025年8月5日 (二) 22:56 差异 历史 +883 新 GHO 创建页面,内容为“GHO(Guo bu qu de Hydra Ordinal或No-Go Hydra Ordinal)指<math>1-Y(1,3,4,3)</math>,由Asheep233命名。由于1-Y的1,3,4,3提升极为强大,卡掉了BMS的简单拓展,因此得名。 {| class="wikitable" !序数记号 !表达式 |- |向上投影 |<math>\psi(\psi_H(\psi_T(T_2*2)))</math> |- |1-Y |<math>1,3,4,3</math> |- |I 1-Y |<math>1,3,5</math> |- |III 1-Y |<math>1,3,8</math> |- |BTBMS |<math>(0)(1…” 标签:可视化编辑
- 21:392025年8月5日 (二) 21:39 差异 历史 +7 序数表 →DNAO 标签:可视化编辑