主要公开日志

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

• 2025年7月23日 (三) 20:33 夏浅不是下潜 留言 贡献创建了页面LPrSSvsHPrSSvs0-YvsY （创建页面，内容为“{| class="wikitable" |+ !LPrSS !HPrSS !0-Y !Y !MOCF |- | <math>1,3</math> | <math>1,3</math> | <math>1,3</math> | <math>1,2,4</math> | <math>\psi(0)</math> |- | <math>1,3,2</math> | <math>1,3,2</math> | <math>1,3,2</math> | <math>1,2,4,2</math> | <math>\psi(0)\times\omega</math> |- | <math>1,3,3</math> | <math>1,3,3</math> | <math>1,3,3</math> | <math>1,2,4,4</math> | <math>\psi(1)</math> |- | <math>1,3,4</math> | <math>1,3,4</math> | <math>1,3,4</math> | <math…”） 标签：可视化编辑：已切换
• 2025年7月23日 (三) 17:02 夏浅不是下潜 留言 贡献创建了页面超限(-1)-Y （创建页面，内容为“'''超限 (-1)-Y''' 是一种 Worm 型序数记号． == 定义 == === 合法式 === 一个'''合法'''的超限 (-1)-Y 表达式是形如 <math>S=(s_{1},s_{2},\cdots,s_{n})|n,s_{1},s_{2},\cdots,s_{n}<\Omega</math> 且 <math>\langle \text{1} \rangle\ \quad s_{1}=1\quad\text{if }n>0.</math> '''例：''' <math>(1,\omega)</math> 是一个合法的超限 (-1)-Y 表达式. <math>(\Omega_\Omega,1,2)</math> 不是一个合法的超限 (…”）
• 2025年7月23日 (三) 16:40 夏浅不是下潜 留言 贡献创建了页面-1-Y （创建页面，内容为“'''(-1)-Y''' 是一种 Worm 型序数记号． == 定义 == === 合法式 === 一个'''合法'''的 (-1)-Y 表达式是形如 <math>S=(s_{1},s_{2},\cdots,s_{n})|n,s_{1},s_{2},\cdots,s_{n}\in\mathbb{N}</math> 且 <math>\langle \text{1} \rangle\ \quad s_{1}=1\quad\text{if }n>0.</math> '''例：''' <math>(1,2,2,3,3)</math> 是一个合法的 (-1)-Y 表达式. <math>(\Omega,1,2)</math> 不是一个合法的 PrSS 表达式，因为 <m…”） 标签：可视化编辑：已切换
• 2025年7月10日 (四) 16:42 夏浅不是下潜 留言 贡献创建了页面FSO （创建页面，内容为“'''FSO(Feferman-Schutte Ordinal，费福尔曼-舒特序数)'''，是veblen函数的极限。 {| class="wikitable" |+FSO !记号 !表达式 |- |veblen函数 |<math>\varphi(1,0,0)</math> |- |BOCF |<math>\psi(\Omega^\Omega)/\psi(\psi_1(0)^{\psi_1(0)})</math> |- |MOCF |<math>\psi(\Omega^\Omega)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 \\ 0 & 1 & 1 \end{pmatrix}</math> |- |HPrSS |<math>1,3,5,7</mat…”） 标签：可视化编辑：已切换
• 2025年7月10日 (四) 16:16 夏浅不是下潜 留言 贡献创建了页面HCO （创建页面，内容为“'''HCO(Hyper Cantor's Ordinal，超康托尔序数)'''，是一个重要的序数。它也是BOCF和MOCF的第一个追平点。 {| class="wikitable" |+SCO !记号 !表达式 |- |序数 |veblen函数 |<math>\varphi(\omega,0)</math> |- |BOCF |<math>\psi(\Omega^\omega)/\psi(\psi_1(0)^\omega)</math> |- |MOCF |<math>\psi(\Omega^\omega)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 \\ 0 &…”）
• 2025年7月10日 (四) 16:02 夏浅不是下潜 留言 贡献创建了页面LCO （创建页面，内容为“'''LCO(Large Cantor's Ordinal，大康托尔序数)'''。 {| class="wikitable" |+SCO !记号 !表达式 |- |序数 |<math>\eta_0</math> |- |veblen函数 |<math>\varphi(3,0)</math> |- |BOCF |<math>\psi(\Omega^3)/\psi(\psi_1(0)^3)</math> |- |MOCF |<math>\psi(\Omega^2)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 1 & 1 \\ 0 & 1 & 1 & 1 \end{pmatrix}</math> |- |LPrSS |<math>1,5</math> |- |HPrSS |<math>1…”） 标签：可视化编辑：已切换
• 2025年7月10日 (四) 15:55 夏浅不是下潜 留言 贡献创建了页面CO （创建页面，内容为“'''CO(Cantor Ordinal，托尔序数)'''。 {| class="wikitable" |+SCO !记号 !表达式 |- |序数 |<math>\zeta_0</math> |- |veblen函数 |<math>\varphi(2,0)</math> |- |BOCF |<math>\psi(\Omega^2)/\psi(\psi_1(0)^2)</math> |- |MOCF |<math>\psi(\Omega)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 1\\ 0 & 1 & 1 \end{pmatrix}</math> |- |LPrSS |<math>1,4</math> |- |HPrSS |<math>1,3,6</math> |- |0-Y |…”）
• 2025年7月10日 (四) 15:44 夏浅不是下潜 留言 贡献创建了页面LAO （创建页面，内容为“'''LAO(LAO，Linar Array Ordinal，线性数阵序数)'''，因在googology一度经典的线性数阵的极限是它而得名 {| class="wikitable" |+LAO !记号 !表达式 |- |序数 |<math>\omega^\omega</math> |- |veblen函数 |<math>\varphi(\varphi(1))</math> |- |BOCF |<math>\psi(\psi(0))</math> |- |Worm序列 |<math>1,2,3</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 \end{pmatrix}</math> |- |长初等序…”）
• 2025年7月10日 (四) 15:28 夏浅不是下潜 留言 贡献创建了页面FTO （创建页面，内容为“'''FTO(First Transfinite Ordinal，第一个超限序数)'''，是一个重要的序数。它被认为是具有“里程碑”意义的一个序数。 {| class="wikitable" |+FTO !记号 !表达式 |- |序数 |<math>\omega</math> |- |veblen函数 |<math>\varphi(1)</math> |- |BOCF |<math>\psi(0)</math> |- |Worm序列 |<math>1,2</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 \end{pmatrix}</math> |- |长初等序列|LP…”） 标签：可视化编辑：已切换
• 2025年7月10日 (四) 14:56 用户账号夏浅不是下潜 留言 贡献已创建