Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

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 小古戈尔无编辑摘要标签：可视化编辑
20:182025年7月29日 (二) 20:18 差异历史 −28 小可构造宇宙无编辑摘要当前标签：可视化编辑
19:562025年7月29日 (二) 19:56 差异历史 −4 小 Catching 函数无编辑摘要标签：可视化编辑
19:562025年7月29日 (二) 19:56 差异历史 +50 小 Beklemishev's Worm 无编辑摘要标签：可视化编辑
19:532025年7月29日 (二) 19:53 差异历史 +14 小传递模型无编辑摘要当前标签：可视化编辑
19:532025年7月29日 (二) 19:53 差异历史 +1,096 新内模型创建页面，内容为“在集合论中，'''内模型'''（Inner Model）是指一个满足 ZFC 公理的传递类模型（即其元素关系在更广泛的宇宙中保持绝对），且包含所有序数。内模型是研究集合论基础问题（如大基数公理的一致性强度、独立性证明等）的核心工具之一，尤其在内模型计划（Inner Model Program）中扮演关键角色。 === 定义与性质 === * 若 <math>M</math> 是内模型…” 当前标签：可视化编辑
19:492025年7月29日 (二) 19:49 差异历史 +36 小下箭号表示法无编辑摘要标签：可视化编辑
19:482025年7月29日 (二) 19:48 差异历史 +1,682 新传递模型创建页面，内容为“在集合论中，'''传递模型'''（或称'''传递结构'''，Transitive Model）是一种特殊的模型（结构），其元素的元素仍属于该模型。它是研究集合论公理（如 ZFC）及其独立性、内模型理论（Inner Model Theory）和力迫法（Forcing）的重要工具。 === 定义 === 一个传递模型通常指一个二元组 <math>(M,\in M)</math>，其中 <math>M</math> 是一个集合或真类，<math>\i…” 标签：可视化编辑
19:442025年7月29日 (二) 19:44 差异历史 +31 小 Googology 社区无编辑摘要标签：可视化编辑
19:422025年7月29日 (二) 19:42 差异历史 +24 小一致性无编辑摘要当前标签：可视化编辑
19:412025年7月29日 (二) 19:41 差异历史 +1,966 新一致性创建页面，内容为“在'''集合论'''中，'''一致性'''（Consistency）指一个形式理论无法推导出矛盾（即同时证明某个命题及其否定）。若一个理论存在至少一个模型（即满足所有公理的结构），则该理论是一致的。一致性是形式系统可信度的核心，确保其推导的定理不会导致逻辑悖论。 === 定义 === 若理论 <math>T</math> 中不存在命题 <math>\varphi</math> 使得 <math>T\vdash\varphi</math>…” 标签：可视化编辑
19:342025年7月29日 (二) 19:34 差异历史 +23 小 TREE函数无编辑摘要标签：可视化编辑

2025年8月4日 (星期一)

2025年8月3日 (星期日)

2025年7月31日 (星期四)

2025年7月30日 (星期三)

2025年7月29日 (星期二)