主要公开日志

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

• 2025年8月6日 (三) 17:50 Tabelog 留言 贡献删除页面Loader数 （内容为：“#重定向 Loader 数”，唯一贡献者是“Tabelog”（讨论））
• 2025年8月6日 (三) 17:50 Tabelog 留言 贡献移动页面Loader数至Loader 数
• 2025年8月6日 (三) 17:48 Tabelog 留言 贡献删除页面LPrSSvsHPrSSvs0-YvsY （内容为：“#重定向 LPrSS vs HPrSS vs 0-Y vs 1-Y”，唯一贡献者是“Tabelog”（讨论））
• 2025年8月6日 (三) 17:48 Tabelog 留言 贡献移动页面LPrSSvsHPrSSvs0-YvsY至LPrSS vs HPrSS vs 0-Y vs 1-Y
• 2025年8月6日 (三) 17:42 Tabelog 留言 贡献创建了页面变种去提升 Y 序列 （创建页面，内容为“本页面介绍去除了各种提升的 1-Y 和 BMS。 === 前定义 === 下文 1-Y 均为 weak 1-Y，未提及的内容同 1-Y。不标准的合法表达式，不保证能理想且良的展开。 ==== 计数序列 ==== 在某个合法表达式中， 项 <math>x</math> 的计数序列 <math>f(x)</math> 的定义如下： # <math>f(x)=1</math> # <math>f(\#,x)=f(x),1</math> 当 # 无法适用 1 时 # <math>f(\#)=\sup\{f(\alpha)|\a…”） 标签：可视化编辑
• 2025年8月5日 (二) 23:09 YourCpper 留言 贡献创建了页面文件:Omega4.jpg
• 2025年8月5日 (二) 23:09 YourCpper 留言 贡献上传文件:Omega4.jpg
• 2025年8月5日 (二) 22:56 YourCpper 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年8月5日 (二) 21:29 YourCpper 留言 贡献创建了页面SHO （创建页面，内容为“SHO（Small Hydra Ordinal），由Fatalis命名，该名字原本指<math>\varepsilon_0</math>，后来因为不明原因变成了BMS极限。该序数在Googology中有着极其重要的地位。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\le\psi(\rm{psd.}\Sigma_\omega-\rm{stb})</math> |- |向上投影 |<math>\psi(\psi_H(\varepsilon_{H+1}))</math> |- |1-Y |<math>1,3</math> |- |Moumtain Notat…”） 标签：可视化编辑
• 2025年8月5日 (二) 21:01 YourCpper 留言 贡献创建了页面SDO （创建页面，内容为“SDO（Small Dropping Ordinal），由Username5243命名<ref>https://googology.fandom.com/wiki/User:Username5243/Username%27s_OCF</ref>，指代原版UNOCF极限，同时也是N-dropping和N-shifting模式的极限。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\Omega_{\alpha+\omega}-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\Omega_{\alpha+\omega}))</math> |- |投影序数|向上…”） 标签：可视化编辑
• 2025年8月5日 (二) 17:31 Tabelog 留言 贡献创建了页面AOCF （创建页面，内容为“'''Arai's Ordinal Collapse Function（AOCF）'''是一种类序数坍缩函数。 === 系统与公理 === <math>\Sigma_{N+2}^1-\text{AC+BI}</math> 表示一个二阶算术系统，它由 ​​<math>\rm \Pi_1^1-CA_0+BI</math>​​ 加入公理 ​​<math>\Sigma_{N+2}^1-\text{AC}</math>​​ 得到：<math>\forall n \exists X F(n,X) \rightarrow \exists Y \forall n F(n,Y_n)</math>，其中 <math>F(n,X)</math> 是任意的 ​​<math>\Pi_{N+2}^1</math>-…”） 标签：可视化编辑
• 2025年8月4日 (一) 16:32 Zhy137036 留言 贡献创建了页面传递闭包 （创建页面，内容为“'''定理'''（传递闭包唯一存在） 对任意集合 <math>X</math>，存在唯一集合 <math>Y</math>，满足如下条件 * <math>Y</math> 是传递集； * <math>X\sube Y</math>； * 如果传递集 <math>Z</math> 满足 <math>X\sube Z</math>，则 <math>Y\sube Z</math>。 '''证明''' 使用自然数集上的归纳法，定义集合列 <math>X_0,X_1,X_2,\cdots</math> 满足： * <math>X_0=X</math>； * <math>X_{n+1}=X_n\cup(\bigcup X_n)</math>…”）
• 2025年8月4日 (一) 15:40 虚妄之幻 留言 贡献创建了页面良基宇宙等同于集论全域的证明 （V=WF） 标签：可视化编辑
• 2025年8月4日 (一) 13:00 Zhy137036 留言 贡献创建了页面PrSS的良序性 （未完）
• 2025年8月2日 (六) 16:10 Zhy137036 留言 贡献删除页面PrSS良序 （误操作）
• 2025年8月2日 (六) 16:09 Zhy137036 留言 贡献创建了页面PrSS良序 （创建页面，内容为“* 若 <math>S</math> 中有不止一项是零。<br>设 <math>S</math> 中有 <math>r>1</math> 项为零，且 <math>a_{k_1}=a_{k_2}=\cdots=a_{k_r}=0</math>，其中 <math>1=k_1<k_2<k_3<\cdots<k_r<k_{r+1}=n+1</math>。<br>取 <math>S_i=(a_{k_i},a_{k_i+1},\cdots,a_{k_{i+1}-1}),\quad i=1,2,\cdots,r</math>，则 <math>F(S)=F(S_1)+F(S_2)+\cdots+F(S_r)</math>。<br>设 <math>S</math> 的坏根为 <math>a_x</math>。不难看出，<math>x\ge k_r</math>。<br>设 <mat…”）
• 2025年7月31日 (四) 11:17 Tabelog 留言 贡献创建了页面(test) BMS 分析 （我在测试什么东西） 标签：可视化编辑：已切换
• 2025年7月30日 (三) 15:04 Zhy137036 留言 贡献创建了页面分类:集合论相关 （创建页面，内容为“此分类储存与集合论相关的条目。”）
• 2025年7月30日 (三) 13:05 Z 留言 贡献创建了页面非递归化序列记号 （创建页面，内容为“本词条介绍将部分序列记号改造为非递归记号的通用办法 == 定义 == 对于极限基本列为<math>1,2</math>、<math>1,3</math>、<math>1,4</math>……的，且存在坏根、好部、坏部的序列型记号，可以按照如下方法将其转换为非递归记号： # 末项为1，则为后继； # 否则，在序列最前方补一个1，随后按该记号规则找到坏根，如果坏根不是补的那个1，则按照该记号规则…”） 标签：可视化编辑
• 2025年7月30日 (三) 09:43 Phyrion 留言 贡献创建了页面讨论:Dropping Hydra （无标题：​ 新章节） 标签：新话题
• 2025年7月29日 (二) 20:32 Tabelog 留言 贡献创建了页面传递集 （创建页面，内容为“在集合论中，'''传递集'''（或递移集，Transitive Set）是一种特殊的集合，其元素的所有元素也属于该集合本身。这一概念是集合论模型论和构造性集合论（如内模型理论）的基础工具。 === 定义 === 一个集合 <math>U</math> 称为传递集，当且仅当它满足以下条件： <math>\forall x\in U\forall y(y\in x\Rightarrow y\in U)</math> 即，若 <math>x</math> 是 ''<math>U</math…”） 标签：可视化编辑
• 2025年7月29日 (二) 19:53 Tabelog 留言 贡献创建了页面内模型 （创建页面，内容为“在集合论中，'''内模型'''（Inner Model）是指一个满足 ZFC 公理的传递类模型（即其元素关系在更广泛的宇宙中保持绝对），且包含所有序数。内模型是研究集合论基础问题（如大基数公理的一致性强度、独立性证明等）的核心工具之一，尤其在内模型计划（Inner Model Program）中扮演关键角色。 === 定义与性质 === * 若 <math>M</math> 是内模型…”） 标签：可视化编辑
• 2025年7月29日 (二) 19:48 Tabelog 留言 贡献创建了页面传递模型 （创建页面，内容为“在集合论中，'''传递模型'''（或称'''传递结构'''，Transitive Model）是一种特殊的模型（结构），其元素的元素仍属于该模型。它是研究集合论公理（如 ZFC）及其独立性、内模型理论（Inner Model Theory）和力迫法（Forcing）的重要工具。 === 定义 === 一个传递模型通常指一个二元组 <math>(M,\in M)</math>，其中 <math>M</math> 是一个集合或真类，<math>\i…”） 标签：可视化编辑
• 2025年7月29日 (二) 19:41 Tabelog 留言 贡献创建了页面一致性 （创建页面，内容为“在'''集合论'''中，'''一致性'''（Consistency）指一个形式理论无法推导出矛盾（即同时证明某个命题及其否定）。若一个理论存在至少一个模型（即满足所有公理的结构），则该理论是一致的。一致性是形式系统可信度的核心，确保其推导的定理不会导致逻辑悖论。 === 定义 === 若理论 <math>T</math> 中不存在命题 <math>\varphi</math> 使得 <math>T\vdash\varphi</math>…”） 标签：可视化编辑
• 2025年7月29日 (二) 19:14 Tabelog 留言 贡献创建了页面FUO （创建页面，内容为“在集合论中，<math>\omega_1</math>（First Uncountable Ordinal，FUO）表示第一个不可数序数，即所有可数序数的最小上界。它是序数的良序集合，其元素为所有与自然数集序型相同的可数良序集。作为序数，<math>\omega_1</math> 本身是不可数的，其基数为 <math>\aleph_1</math>，即第一个不可数基数。在 ZFC 公理体系下…”） 标签：可视化编辑
• 2025年7月29日 (二) 16:04 Zhy137036 留言 贡献创建了页面分类:证明 （创建页面，内容为“此分类用于储存与 Googology 相关的定理和结论的证明。”）
• 2025年7月29日 (二) 15:57 Zhy137036 留言 贡献移动页面证明至无穷基数的平方等于自身，不留重定向
• 2025年7月29日 (二) 15:45 Zhy137036 留言 贡献创建了页面证明 （创建页面，内容为“== <math>\aleph_\alpha\times\aleph_\alpha=\aleph_\alpha</math> 的证明 == 证明：我们如下定义 <math>\mathrm{Ord}^2</math> 上的良序： <math display=block> \begin{aligned} (\alpha,\beta)<(\gamma,\delta)\iff{}&\max\{\alpha,\beta\}<\max\{\gamma,\delta\}\\ &\lor(\max\{\alpha,\beta\}=\max\{\gamma,\delta\}\land \alpha<\gamma)\\ &\lor(\max\{\alpha,\beta\}=\max\{\gamma,\delta\}\land\alpha=\gamma\land\beta<\delta)\\ \end{aligned} </math> 可以证明，…”）
• 2025年7月29日 (二) 15:19 Tabelog 留言 贡献删除页面测试 （内容为：“#重定向 Test”，唯一贡献者是“Phyrion”（讨论））
• 2025年7月29日 (二) 15:19 Tabelog 留言 贡献删除页面Phi （内容为：“#重定向 Veblen函数”，唯一贡献者是“QWQ-bili”（讨论））
• 2025年7月29日 (二) 15:18 Tabelog 留言 贡献删除页面Googology 梗 （内容为：“#重定向 Googology 梗百科”，唯一贡献者是“Phyrion”（讨论））
• 2025年7月29日 (二) 15:18 Tabelog 留言 贡献删除页面-illion数字系统 （内容：“#重定向 Googolism”）
• 2025年7月29日 (二) 15:17 Tabelog 留言 贡献删除页面Googologism （内容：“#重定向 Googolism”）
• 2025年7月29日 (二) 14:46 Tabelog 留言 贡献删除页面Googolism - Part 7 （内容为：“【更小 | 主页 | 更大】 === Part 7.1: <math>f_{\omega^2}(f_3(10))</math> ~ <math>f_{\omega^2 2}(f_3(10))</math> === * Chainol, s(3,2,2,1,2) * Gugolda-plexithird, E100###2#2 * Great gugolthra, E100###3#2 * Tetratriplex, {3,3,1,1,2} * Gugoltesla-plexithird / Great gugoltesla, E100###4#2 * Gugolpeta-plexithird…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:46 Tabelog 留言 贡献删除页面Googolism - Part 8 （内容为：“【更小 | 主页 | 更大】 === Part 8.1: <math>f_{\omega^{\omega^2}}(f_3(10))</math> ~ <math>f_{\omega^{\omega^3}}(f_3(10))</math> === * Xappolplex, {10,3,2 (2) 2} * Planelplex, s(3,3,2{3}2) * Grand gridgahlah, E100#^##100#2 * Plantrienel, s(3,3,3{3}2) * Xappolduplex, {10,4,2 (2) 2} * Gixxol, {10,100,2 (2) 2}…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:46 Tabelog 留言 贡献删除页面Googolism - Part 9 （内容为：“【更小 | 主页 | 更大】 === Part 9.1: <math>f_{\omega^{\omega^{\omega^{\omega}}}}(f_3(10))</math> ~ <math>f_{\omega^{\omega^{\omega^{\omega^2}}}}(f_3(10))</math> === * Grand godtothol, E100#^#^#^#100#2 * Grangol-carta-godtothol, E100#^#^#^#100#100 * Dimentrienthrex, s(3,3,3{1{2}2}2) * Godgahlah-carta-godto…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:46 Tabelog 留言 贡献删除页面Googolism - Part 10 （内容为：“【更小 | 主页 | 更大】 === Part 10.1: <math>f_{\varepsilon_0}^2(10)</math> ~ <math>f_{\varepsilon_02}^2(10)</math> === * Backoogolplex, {10,3,2 [1\2] 2} * Grand tethrathoth, E100#^^#100#2 * Goppatothplex, {10,goppatoth,2} & 10 * Grand tethrinoogol, {100,3,2 [1\2] 2} * Grand tethrathothigong, E100,000#^^#1…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:45 Tabelog 留言 贡献删除页面Googolism - Part 11 （内容为：“【更小 | 主页 | 更大】 === Part 11.1: <math>f_{\zeta_0}^2(10)</math> ~ <math>f_{\varepsilon_{\zeta_0+1}}^2(10)</math> === * Grand tethracross, E100#^^##100#2 * Grand Berlin Wall, E100#^^##100,000,000#2 * '''Fish number 6''', <math>\approx f_{\zeta_0+1}(63)</math> * Grangol-carta-tethracross, E100#^^##100…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:45 Tabelog 留言 贡献删除页面Googolism - Part 12 （内容为：“【更小 | 主页 | 更大】 === Part 12.1: <math>f_{\Gamma_0}^2(10)</math> ~ <math>f_{\Gamma_1}^2(10)</math> === * Grand pentacthulhum / grand tethrarxihect / tethrarxitethrarxihect, E100#^^^#100#2 * Grand grand pentacthulhum, E100#^^^#100#3 * Triple grand pentacthulhum, E100#^^^#100#4 * Quadruple grand pentacthulhum, E100#^^^#100#5…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 13:52 Tabelog 留言 贡献删除页面Veblen结构分析 （内容为：“#重定向 User:不要相信我/记号分析”，唯一贡献者是“不要相信我”（讨论））
• 2025年7月29日 (二) 13:52 Tabelog 留言 贡献删除页面用户讨论:Veblen结构分析 （内容为：“#重定向 Veblen结构分析”，唯一贡献者是“不要相信我”（讨论））
• 2025年7月29日 (二) 13:48 Phyrion 留言 贡献已将Tabelog的用户组从（无）更改至管理员 （水王）
• 2025年7月29日 (二) 12:01 Tabelog 留言 贡献创建了页面递归 Mahlo 序数 （创建页面，内容为“递归 Mahlo 序数 <math>M</math> 是一个大反射序数，定义为 <math>2-2</math>。、”） 标签：可视化编辑
• 2025年7月28日 (一) 20:10 Tabelog 留言 贡献创建了页面Dropping Hydra （创建页面，内容为“=== 定义 === 该符号是一个三色有序树 '''T'''，附加两个正整数作为其“数值参数”。在符号 '''T'''[x, y] 中，红色是根节点的特殊颜色，而白色和黑色用于其他节点。 首先，红根树的数量少于白根树的数量，而白根树的数量又少于黑根树的数量。然后，在所有白根树中，只有白根的树是最小的，而在所有黑根树中，只有黑根的树是最小的。要比较树 '''A…”） 标签：可视化编辑：已切换
• 2025年7月28日 (一) 19:27 GaoKao 留言 贡献创建了页面超限(-1)-Y VS Veblen函数 （创建页面，内容为“本条目展示超限(-1)-Y和Veblen函数的列表分析。 {| class="wikitable" !超限(-1)-Y !Veblen函数 |- |<math>(1,\omega)</math> |<math>\varphi(1,0)</math> |- |<math>(1,\omega,1)</math> |<math>\varphi(1,0)+1</math> |- |<math>(1,\omega,1,\omega)</math> |<math>\varphi(1,0)+\varphi(1,0)</math> |- |<math>(1,\omega,2)</math> |<math>\varphi(\varphi(1,0)+1)</math> |- |<math>(1,\omega,2,1,\omega,2)</math> |<math>\varphi(\varphi(1,0)+1)+\varphi(\varphi(…”） 标签：可视化编辑
• 2025年7月28日 (一) 18:38 Tabelog 留言 贡献创建了页面NOCF （创建页面，内容为“NOCF（None Ordinal Collapse Function）是 OCF 的一种。 === 理念 === 由于 NOCF 没有完整的定义，这里给出它的理念： <math>\psi_\alpha(0)=\Omega_\alpha\quad(\Omega_0=1)</math>，<math>\psi_\alpha(\sharp+1)=\psi_\alpha(\sharp)+1</math>；在 OCF 内遇到 <math>\Omega_\alpha</math> 的处理方式与 MOCF 一致。 === 分析 === 下列分析的等号左侧为 NOCF，右侧为 MOCF。<…”） 标签：可视化编辑
• 2025年7月27日 (日) 12:59 Zhy137036 留言 贡献解封了Zhy137036 留言 贡献
• 2025年7月27日 (日) 12:56 Zhy137036 留言 贡献已封禁Zhy137036 留言 贡献，到期时间为2025年7月27日 (日) 13:54（停用账号创建、​停用自动封禁）
• 2025年7月26日 (六) 15:14 QWQ-bili 留言 贡献创建了页面Fffz （重定向页面至Fake Fake Fake Zeta） 标签：新重定向
• 2025年7月26日 (六) 11:45 虚妄之幻 留言 贡献创建了页面命数定理 （命数定理完整证明） 标签：可视化编辑