Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

17:442025年8月6日 (三) 17:44 差异历史 +70 小 GHO 无编辑摘要标签：可视化编辑
17:422025年8月6日 (三) 17:42 差异历史 +4,895 新变种去提升 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…” 标签：可视化编辑
17:262025年8月6日 (三) 17:26 差异历史 +39 小 GHO 无编辑摘要标签：可视化编辑

22:272025年8月5日 (二) 22:27 差异历史 +103 小稳定序数无编辑摘要标签：可视化编辑
22:142025年8月5日 (二) 22:14 差异历史 +16 小 SHO 无编辑摘要标签：可视化编辑
22:102025年8月5日 (二) 22:10 差异历史 +2,880 AOCF 无编辑摘要标签：可视化编辑
20:092025年8月5日 (二) 20:09 差异历史 +7,767 AOCF 无编辑摘要标签：可视化编辑：已切换
17:352025年8月5日 (二) 17:35 差异历史 +132 小 AOCF 无编辑摘要标签：可视化编辑
17:312025年8月5日 (二) 17:31 差异历史 +12,933 新 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>-…” 标签：可视化编辑

00:592025年8月4日 (一) 00:59 差异历史 +1,508 BAN →定义标签：可视化编辑
00:492025年8月4日 (一) 00:49 差异历史 +1,713 BAN 无编辑摘要标签：可视化编辑
00:192025年8月4日 (一) 00:19 差异历史 +431 大数史 →参考资料标签：可视化编辑

23:442025年8月3日 (日) 23:44 差异历史 +68 小条目编写指南无编辑摘要标签：可视化编辑
23:412025年8月3日 (日) 23:41 差异历史 −242 小条目编写指南无编辑摘要标签：可视化编辑
23:312025年8月3日 (日) 23:31 差异历史 +2,412 条目编写指南无编辑摘要标签：可视化编辑
23:012025年8月3日 (日) 23:01 差异历史 +120 小非递归化序列记号无编辑摘要标签：可视化编辑

11:172025年7月31日 (四) 11:17 差异历史 +401,557 新 (test) BMS 分析我在测试什么东西当前标签：可视化编辑：已切换

19:472025年7月30日 (三) 19:47 差异历史 +4,465 大数史无编辑摘要标签：可视化编辑
15:352025年7月30日 (三) 15:35 差异历史 +49 小非递归BMS分析无编辑摘要标签：可视化编辑
15:322025年7月30日 (三) 15:32 差异历史 +198 小递归 Mahlo 序数修正参考资料标签：可视化编辑
15:292025年7月30日 (三) 15:29 差异历史 +7 小 NOCF 修正标签：可视化编辑
15:272025年7月30日 (三) 15:27 差异历史 +6 小 Catching 函数无编辑摘要标签：可视化编辑
15:262025年7月30日 (三) 15:26 差异历史 +235 小 SCG函数 & SSCG函数修正参考资料标签：可视化编辑
15:192025年7月30日 (三) 15:19 差异历史 −22 小 Circle函数修正参考资料标签：可视化编辑
13:562025年7月30日 (三) 13:56 差异历史 0 小皮亚诺公理体系修正参考资料当前标签：可视化编辑
13:542025年7月30日 (三) 13:54 差异历史 +332 小 TREE函数修正参考资料标签：可视化编辑
13:512025年7月30日 (三) 13:51 差异历史 +299 小忙碌海狸函数修正参考资料标签：可视化编辑
13:382025年7月30日 (三) 13:38 差异历史 −7 小 Ξ函数修正参考资料标签：可视化编辑
13:362025年7月30日 (三) 13:36 差异历史 −11 小 BEAF 修正参考资料标签：可视化编辑
13:352025年7月30日 (三) 13:35 差异历史 +102 小超E记号修正参考资料标签：可视化编辑
13:312025年7月30日 (三) 13:31 差异历史 +14 小 Kirby-Paris Hydra 修正参考资料标签：可视化编辑
13:302025年7月30日 (三) 13:30 差异历史 +459 小 Beklemishev's Worm 修正参考资料标签：可视化编辑
13:242025年7月30日 (三) 13:24 差异历史 +66 小 Bignum Bakeoff 修正参考资料当前标签：可视化编辑
13:212025年7月30日 (三) 13:21 差异历史 +88 小古戈尔修正参考资料当前标签：可视化编辑
13:182025年7月30日 (三) 13:18 差异历史 +62 小初等序列系统修正参考资料标签：可视化编辑
13:002025年7月30日 (三) 13:00 差异历史 +82 小 Tritri 修正参考资料当前标签：可视化编辑
12:552025年7月30日 (三) 12:55 差异历史 +172 小增长层级修正参考资料标签：可视化编辑
12:522025年7月30日 (三) 12:52 差异历史 +638 小葛立恒数修正参考资料当前标签：可视化编辑
12:312025年7月30日 (三) 12:31 差异历史 −2 小基数修正参考资料标签：可视化编辑
12:302025年7月30日 (三) 12:30 差异历史 +39 小高德纳箭头修正参考资料标签：可视化编辑
12:262025年7月30日 (三) 12:26 差异历史 +15 小条目编写指南无编辑摘要
12:212025年7月30日 (三) 12:21 差异历史 +207 小增长层级修正参考资料标签：可视化编辑
12:172025年7月30日 (三) 12:17 差异历史 0 小大数史 →参考文献
12:162025年7月30日 (三) 12:16 差异历史 +1,507 条目编写指南无编辑摘要标签：可视化编辑
11:362025年7月30日 (三) 11:36 差异历史 +56 小大数史修改引用标签：可视化编辑
10:292025年7月30日 (三) 10:29 差异历史 −118 小大数史无编辑摘要标签：可视化编辑

20:372025年7月29日 (二) 20:37 差异历史 +86 小冯诺依曼宇宙无编辑摘要当前标签：可视化编辑
20:362025年7月29日 (二) 20:36 差异历史 +107 小传递集无编辑摘要当前标签：可视化编辑
20:322025年7月29日 (二) 20:32 差异历史 +3,679 新传递集创建页面，内容为“在集合论中，'''传递集'''（或递移集，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…” 标签：可视化编辑
20:192025年7月29日 (二) 20:19 差异历史 −10 小古戈尔无编辑摘要标签：可视化编辑

2025年8月6日 (星期三)

2025年8月5日 (星期二)

2025年8月4日 (星期一)

2025年8月3日 (星期日)

2025年7月31日 (星期四)

2025年7月30日 (星期三)

2025年7月29日 (星期二)