夏浅不是下潜的用户贡献

2025年7月23日 (星期三)

• 20:332025年7月23日 (三) 20:33 差异 历史 +2,964 新 LPrSS vs HPrSS vs 0-Y vs 1-Y 创建页面，内容为“{| 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…” 标签：可视化编辑：已切换
• 16:492025年7月23日 (三) 16:49 差异 历史 −144 -1-Y 无编辑摘要 标签：可视化编辑
• 16:472025年7月23日 (三) 16:47 差异 历史 −4 -1-Y →结构 标签：可视化编辑
• 16:472025年7月23日 (三) 16:47 差异 历史 −10 -1-Y 无编辑摘要 标签：可视化编辑
• 16:402025年7月23日 (三) 16:40 差异 历史 +4,063 新 -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:422025年7月10日 (四) 16:42 差异 历史 +949 新 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…” 标签：可视化编辑：已切换
• 16:292025年7月10日 (四) 16:29 差异 历史 +6 HCO 无编辑摘要 标签：可视化编辑：已切换
• 16:262025年7月10日 (四) 16:26 差异 历史 0 HCO 无编辑摘要 标签：可视化编辑
• 16:252025年7月10日 (四) 16:25 差异 历史 0 LCO 无编辑摘要 标签：可视化编辑
• 16:252025年7月10日 (四) 16:25 差异 历史 −1 CO 无编辑摘要 标签：可视化编辑
• 16:162025年7月10日 (四) 16:16 差异 历史 +1,043 新 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 &…”
• 16:092025年7月10日 (四) 16:09 差异 历史 +2 LCO 无编辑摘要 标签：可视化编辑：已切换
• 16:022025年7月10日 (四) 16:02 差异 历史 +997 新 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…” 标签：可视化编辑：已切换
• 16:002025年7月10日 (四) 16:00 差异 历史 0 CO 无编辑摘要 标签：可视化编辑：已切换
• 15:552025年7月10日 (四) 15:55 差异 历史 +3 CO 无编辑摘要 标签：可视化编辑
• 15:552025年7月10日 (四) 15:55 差异 历史 +937 新 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 |…”
• 15:442025年7月10日 (四) 15:44 差异 历史 +1,000 新 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> |- |长初等序…”
• 15:422025年7月10日 (四) 15:42 差异 历史 +59 FTO 无编辑摘要 标签：可视化编辑：已切换
• 15:282025年7月10日 (四) 15:28 差异 历史 +879 新 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…” 标签：可视化编辑：已切换