主要公开日志

所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年8月17日 (日) 10:12 Tabelog 留言 贡献删除页面Weak veblen函数 （内容为：“#重定向 Weak Veblen 函数”，唯一贡献者是“Phyrion”（讨论））
• 2025年8月17日 (日) 10:02 Tabelog 留言 贡献移动页面Moumtain Notation至Mountain Notation，不留重定向
• 2025年8月17日 (日) 09:33 Tabelog 留言 贡献移动页面非平凡至初等嵌入，不留重定向
• 2025年8月16日 (六) 21:22 用户账号632zsz 留言 贡献已创建
• 2025年8月16日 (六) 21:14 Phyrion 留言 贡献创建了页面PTO （重定向页面至证明论序数） 标签：新重定向 可视化编辑
• 2025年8月16日 (六) 17:00 用户账号Elmi 留言 贡献已创建
• 2025年8月16日 (六) 13:56 用户账号GOD 留言 贡献已创建
• 2025年8月16日 (六) 11:11 灵依 留言 贡献创建了页面非平凡 （创建页面，内容为“ <!-- 1. 非平凡初等嵌入 -->   <mtable columnalign="left">     <!-- 标题 -->     <mtr>       <mtd>         <mstyle mathvariant="bold" mathsize="1.2em">           <mtext>非平凡初等嵌入</mtext>         </mstyle>       </mtd>     </mtr>     <!-- 定义 -->     <mtr>       <mtd>         <mrow>           <mtext>设</mtext>           <mi>M</mi>           <mo>,</mo>           <mi…”） 标签：可视化编辑
• 2025年8月15日 (五) 23:02 用户账号水 留言 贡献已创建
• 2025年8月15日 (五) 22:03 用户账号一只屑角角 留言 贡献已创建
• 2025年8月15日 (五) 18:57 Guogaoloogy 留言 贡献创建了页面用户讨论:Optimism （Opti😰ism：​ 新章节） 标签：新话题
• 2025年8月15日 (五) 18:08 虚妄之幻 留言 贡献创建了页面不可达基数的独立性 （独立性证明） 标签：可视化编辑
• 2025年8月15日 (五) 17:56 用户账号油手就行 留言 贡献已创建
• 2025年8月15日 (五) 17:54 Ankdnjj 留言 贡献创建了页面文件:2025-08-11 狄安娜的考验.png
• 2025年8月15日 (五) 17:54 Ankdnjj 留言 贡献上传文件:2025-08-11 狄安娜的考验.png
• 2025年8月15日 (五) 17:49 用户账号灵依 留言 贡献已创建
• 2025年8月15日 (五) 17:48 用户账号黍 留言 贡献已创建
• 2025年8月15日 (五) 17:42 用户账号Albert 留言 贡献已创建
• 2025年8月15日 (五) 17:30 用户账号Asheep233 留言 贡献已创建
• 2025年8月15日 (五) 17:23 用户账号洛希 留言 贡献已创建
• 2025年8月15日 (五) 17:13 用户账号Ankdnjj 留言 贡献已创建
• 2025年8月15日 (五) 17:13 用户账号梦幻の蝶 留言 贡献已创建
• 2025年8月15日 (五) 17:12 用户账号芒果 留言 贡献已创建
• 2025年8月15日 (五) 17:12 用户账号屑鹿a 留言 贡献已创建
• 2025年8月15日 (五) 17:10 用户账号Celibacy禁欲 留言 贡献已创建
• 2025年8月15日 (五) 17:09 用户账号学不会向上投影不改名 留言 贡献已创建
• 2025年8月15日 (五) 17:08 用户账号荧光 留言 贡献已创建
• 2025年8月15日 (五) 16:20 Phyrion 留言 贡献创建了页面文件:pcf 25-07-22.jpg
• 2025年8月15日 (五) 16:20 Phyrion 留言 贡献上传文件:pcf 25-07-22.jpg
• 2025年8月15日 (五) 16:09 Phyrion 留言 贡献创建了页面PPS （创建页面，内容为“'''Parented Predecessor Sequence(PPS)'''是由3184创造的一个序列记号，其父项定位方式是标记父项位置。 PPS有着较为简单的定义，但分析它却极为复杂和困难。 === 定义 === 极限表达式：0,1,2,3,4,5,... 坏根：第(末项的值)项；如果末项是0，则表示后继序数 对于一个序列表达式，记其末项的列标减末项的值为L，坏根的值为b，末项…”） 标签：可视化编辑
• 2025年8月15日 (五) 15:01 Phyrion 留言 贡献创建了页面项定位方式 （创建页面，内容为“在序列记号中，一个项蕴含了某种信息，让它能直接或间接找到它的父项(或其他形式的与它有关的项)，这就是'''项定位信息'''。决定项定位信息的是'''项定位方式'''。 目前有以下三种项定位方式： === 1.标记层级 === 标记层级，即标记其祖先链长度，项的内容表达了这个项要经过多少次父项才会到达没有父项的项。 标记层级能让一个项'''间接'''找…”） 标签：可视化编辑
• 2025年8月15日 (五) 14:15 Phyrion 留言 贡献创建了页面ω （重定向页面至FTO） 标签：新重定向 可视化编辑
• 2025年8月15日 (五) 14:11 Phyrion 留言 贡献移动页面Weak veblen函数至Weak Veblen 函数
• 2025年8月15日 (五) 13:51 Zhy137036 留言 贡献创建了页面ω-Y （创建页面，内容为“1”）
• 2025年8月8日 (五) 10:21 Tabelog 留言 贡献创建了页面UNOCF （创建页面，内容为“Username’s OCF（UNOCF）是一个由 Username5243 提出的不严格的序数折叠函数。它并未给出集合论定义，而是直接讨论其折叠性质。因此，这实际上只是一个长得像 OCF 的序数记号。 === 首个不可数基数 === 在 <math>\psi(\Omega)</math> 之前，我们可以遵循三个简单的规则： * <math>\psi(0)=1</math> * <math>\psi(\alpha+1)[n]=\psi(\alpha)n</math> * <math>\psi(\alpha[n])=\p…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:51 YourCpper 留言 贡献创建了页面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)(…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:47 YourCpper 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:37 YourCpper 留言 贡献创建了页面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_{…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:26 YourCpper 留言 贡献创建了页面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,…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:14 YourCpper 留言 贡献创建了页面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> |-…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:06 YourCpper 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:00 YourCpper 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:57 YourCpper 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:52 YourCpper 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:43 YourCpper 留言 贡献创建了页面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> |-…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:39 YourCpper 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:10 YourCpper 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:07 YourCpper 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:03 YourCpper 留言 贡献创建了页面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 记号 |<…”） 标签：可视化编辑
• 2025年8月7日 (四) 20:57 YourCpper 留言 贡献创建了页面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(\…”） 标签：可视化编辑