Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

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函数无编辑摘要标签：可视化编辑
19:312025年7月29日 (二) 19:31 差异历史 0 小 SVO 无编辑摘要标签：可视化编辑
19:302025年7月29日 (二) 19:30 差异历史 +12 小序数坍缩函数无编辑摘要标签：可视化编辑
19:272025年7月29日 (二) 19:27 差异历史 −19 小 JO 无编辑摘要标签：可视化编辑
19:262025年7月29日 (二) 19:26 差异历史 −39 小初等序列系统无编辑摘要标签：可视化编辑
19:242025年7月29日 (二) 19:24 差异历史 +6 小 Kirby-Paris Hydra 无编辑摘要标签：可视化编辑
19:172025年7月29日 (二) 19:17 差异历史 −62 小 Tritri 无编辑摘要标签：可视化编辑
19:162025年7月29日 (二) 19:16 差异历史 +1 小 FUO 无编辑摘要标签：可视化编辑
19:142025年7月29日 (二) 19:14 差异历史 +43 小序数坍缩函数无编辑摘要标签：可视化编辑
19:142025年7月29日 (二) 19:14 差异历史 +1,299 新 FUO 创建页面，内容为“在集合论中，<math>\omega_1</math>（First Uncountable Ordinal，FUO）表示第一个不可数序数，即所有可数序数的最小上界。它是序数的良序集合，其元素为所有与自然数集序型相同的可数良序集。作为序数，<math>\omega_1</math> 本身是不可数的，其基数为 <math>\aleph_1</math>，即第一个不可数基数。在 ZFC 公理体系下…” 标签：可视化编辑
19:042025年7月29日 (二) 19:04 差异历史 +21 小忙碌海狸函数无编辑摘要标签：可视化编辑
19:012025年7月29日 (二) 19:01 差异历史 +33 小文件:Test.png 无编辑摘要当前标签：可视化编辑
16:332025年7月29日 (二) 16:33 差异历史 +815 条目编写指南无编辑摘要标签：可视化编辑
16:122025年7月29日 (二) 16:12 差异历史 −4 小 CKO 无编辑摘要标签：可视化编辑
16:122025年7月29日 (二) 16:12 差异历史 +17 小忙碌海狸函数无编辑摘要标签：可视化编辑
16:122025年7月29日 (二) 16:12 差异历史 +28 小 Ξ函数无编辑摘要标签：可视化编辑
16:102025年7月29日 (二) 16:10 差异历史 +23 小忙碌海狸函数无编辑摘要标签：可视化编辑
16:102025年7月29日 (二) 16:10 差异历史 +1,575 CKO 无编辑摘要标签：可视化编辑
16:042025年7月29日 (二) 16:04 差异历史 +38 小可构造宇宙无编辑摘要标签：可视化编辑
16:022025年7月29日 (二) 16:02 差异历史 +82 小投影序数无编辑摘要
16:002025年7月29日 (二) 16:00 差异历史 +3 小投影序数无编辑摘要标签：可视化编辑
15:552025年7月29日 (二) 15:55 差异历史 +13 小 JO 无编辑摘要标签：可视化编辑
15:542025年7月29日 (二) 15:54 差异历史 +755 BMS 无编辑摘要标签：可视化编辑
15:222025年7月29日 (二) 15:22 差异历史 +29 小超运算序列无编辑摘要当前标签：可视化编辑
15:142025年7月29日 (二) 15:14 差异历史 +170,575 Googolism - Part 6 无编辑摘要标签：可视化编辑
15:052025年7月29日 (二) 15:05 差异历史 +148,607 Googolism - Part 5 无编辑摘要当前标签：可视化编辑
14:592025年7月29日 (二) 14:59 差异历史 +96,926 Googolism - Part 4 无编辑摘要当前标签：可视化编辑
14:542025年7月29日 (二) 14:54 差异历史 +118,248 Googolism - Part 3 无编辑摘要当前标签：可视化编辑
14:432025年7月29日 (二) 14:43 差异历史 −54,154 Googolism - Part 6 页面内容被替换为“【更小 | 主页 | 更大】【更小 | 主页 | 更大】分类:经典大数” 标签：替换
14:432025年7月29日 (二) 14:43 差异历史 −78,541 Googolism - Part 5 页面内容被替换为“【更小 | 主页 | 更大】【更小 | 主页 | 更大】分类:经典大数” 标签：替换
14:432025年7月29日 (二) 14:43 差异历史 −52,656 Googolism - Part 4 页面内容被替换为“【更小 | 主页 | 更大】【更小 | 主页 | 更大】分类:经典大数” 标签：替换
14:432025年7月29日 (二) 14:43 差异历史 −49,988 Googolism - Part 3 页面内容被替换为“【更小 | 主页 | 更大】【更小 | 主页 | 更大】分类:经典大数” 标签：替换
14:412025年7月29日 (二) 14:41 差异历史 −198 Googolism 无编辑摘要当前标签：可视化编辑
14:382025年7月29日 (二) 14:38 差异历史 +80,047 Googolism - Part 2 无编辑摘要当前标签：可视化编辑
14:302025年7月29日 (二) 14:30 差异历史 +101,243 Googolism - Part 1 无编辑摘要当前标签：可视化编辑
14:112025年7月29日 (二) 14:11 差异历史 +2,687 递归 Mahlo 序数无编辑摘要标签：可视化编辑
12:262025年7月29日 (二) 12:26 差异历史 +159 小 BEAF 无编辑摘要标签：可视化编辑
12:152025年7月29日 (二) 12:15 差异历史 +56 小序数记号无编辑摘要标签：可视化编辑
12:142025年7月29日 (二) 12:14 差异历史 +4 反射序数无编辑摘要标签：可视化编辑
12:012025年7月29日 (二) 12:01 差异历史 +98 新递归 Mahlo 序数创建页面，内容为“递归 Mahlo 序数 <math>M</math> 是一个大反射序数，定义为 <math>2-2</math>。、” 标签：可视化编辑

2025年7月29日 (星期二)