Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

10:342025年8月17日 (日) 10:34 差异历史 +1,890 新 Dropping 创建页面，内容为“Dropping 模式是指在 Hydra 中，往外找 n-Dropping 对应的 n 层的模式。 === M 记号 === M 记号实际上使用的是 2-dropping hydra 模式，而一般的 hydra 实际上是 1-dropping hydra。比如 p0(p1+p1)，p1 向外找到 p0，然后进行迭代，得到 p0(p1+p0(p1+p0(p1+..)) 而在 M 记号中 p0(p0(p1)+p0(p1)，p1 向往找到等级更低的 p0，得到 p0(p1)，将其作为迭代子，继续向外找，得到…” 标签：可视化编辑
10:302025年8月17日 (日) 10:30 差异历史 0 小序数坍缩函数无编辑摘要标签：可视化编辑
10:292025年8月17日 (日) 10:29 差异历史 0 小反射序数无编辑摘要标签：可视化编辑
10:282025年8月17日 (日) 10:28 差异历史 +15 小 BOCF VS veblen函数无编辑摘要标签：可视化编辑
10:272025年8月17日 (日) 10:27 差异历史 0 小 SCO 无编辑摘要标签：可视化编辑
10:272025年8月17日 (日) 10:27 差异历史 0 小 LAO 文字替换 -“veblen函数”替换为“Veblen函数”
10:272025年8月17日 (日) 10:27 差异历史 0 小 FTO 文字替换 -“veblen函数”替换为“Veblen函数”
10:272025年8月17日 (日) 10:27 差异历史 0 小序数记号文字替换 -“veblen函数”替换为“Veblen函数”
10:272025年8月17日 (日) 10:27 差异历史 0 小 FSO 文字替换 -“veblen函数”替换为“Veblen函数”
10:272025年8月17日 (日) 10:27 差异历史 0 小不动点文字替换 -“veblen函数”替换为“Veblen函数”
10:262025年8月17日 (日) 10:26 差异历史 0 小 LCO 文字替换 -“veblen函数”替换为“Veblen函数”
10:262025年8月17日 (日) 10:26 差异历史 0 小 HCO 文字替换 -“veblen函数”替换为“Veblen函数”
10:262025年8月17日 (日) 10:26 差异历史 0 小 CO 文字替换 -“veblen函数”替换为“Veblen函数”
10:262025年8月17日 (日) 10:26 差异历史 0 小序数坍缩函数文字替换 -“veblen函数”替换为“Veblen函数”
10:252025年8月17日 (日) 10:25 差异历史 0 小 LPrSS VS veblen函数文字替换 -“veblen函数”替换为“Veblen函数”
10:252025年8月17日 (日) 10:25 差异历史 0 小 SVO 文字替换 -“veblen函数”替换为“Veblen函数”
10:252025年8月17日 (日) 10:25 差异历史 0 小序数超运算文字替换 -“veblen函数”替换为“Veblen函数”
10:162025年8月17日 (日) 10:16 差异历史 +119 讨论:首页 →果糕糕：回复当前标签：回复
10:112025年8月17日 (日) 10:11 差异历史 +1 小 LAO 无编辑摘要标签：可视化编辑
10:102025年8月17日 (日) 10:10 差异历史 +1 小 LVO 文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”
10:102025年8月17日 (日) 10:10 差异历史 +1 小 ACO 文字替换 -“Weak veblen函数”替换为“Weak Veblen 函数”
10:102025年8月17日 (日) 10:10 差异历史 +1 小 FSO 文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”
10:092025年8月17日 (日) 10:09 差异历史 +1 小 LCO 文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”
10:092025年8月17日 (日) 10:09 差异历史 +1 小 CO 文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”
10:092025年8月17日 (日) 10:09 差异历史 +3 小 BHO 文字替换 -“Weak veblen函数”替换为“Weak Veblen 函数”
10:082025年8月17日 (日) 10:08 差异历史 +1 小 SVO 文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”
10:082025年8月17日 (日) 10:08 差异历史 +1 小 HCO 文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”
10:072025年8月17日 (日) 10:07 差异历史 +1 小 FTO 文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”
10:072025年8月17日 (日) 10:07 差异历史 +1 小 SCO 文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”
10:062025年8月17日 (日) 10:06 差异历史 +1 小反射序数文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”
10:032025年8月17日 (日) 10:03 差异历史 0 小 ΩSSO 文字替换 -“Moumtain Notation”替换为“Mountain Notation”
10:032025年8月17日 (日) 10:03 差异历史 +44 小项定位方式无编辑摘要标签：可视化编辑
10:022025年8月17日 (日) 10:02 差异历史 0 小 GHO 文字替换 -“Moumtain Notation”替换为“Mountain Notation”
10:022025年8月17日 (日) 10:02 差异历史 0 小 SHO 文字替换 -“Moumtain Notation”替换为“Mountain Notation”
10:022025年8月17日 (日) 10:02 差异历史 0 小 Mountain Notation Tabelog移动页面Moumtain Notation至Mountain Notation，不留重定向
09:592025年8月17日 (日) 09:59 差异历史 +498 初等嵌入无编辑摘要当前标签：可视化编辑
09:532025年8月17日 (日) 09:53 差异历史 +784 初等嵌入无编辑摘要标签：可视化编辑
09:402025年8月17日 (日) 09:40 差异历史 −314 小模型无编辑摘要当前标签：可视化编辑
09:342025年8月17日 (日) 09:34 差异历史 −13 小 Levy 层次结构无编辑摘要当前标签：可视化编辑
09:332025年8月17日 (日) 09:33 差异历史 0 小初等嵌入 Tabelog移动页面非平凡至初等嵌入，不留重定向

17:592025年8月8日 (五) 17:59 差异历史 +71 小 Beklemishev's Worm 无编辑摘要标签：可视化编辑
16:042025年8月8日 (五) 16:04 差异历史 −1,003 稳定序数无编辑摘要标签：可视化编辑
13:542025年8月8日 (五) 13:54 差异历史 −569 稳定序数无编辑摘要标签：可视化编辑
13:412025年8月8日 (五) 13:41 差异历史 −1,929 稳定序数 →枚举标签：可视化编辑：已切换
13:032025年8月8日 (五) 13:03 差异历史 −1,821 稳定序数无编辑摘要标签：可视化编辑：已切换
11:042025年8月8日 (五) 11:04 差异历史 −977 稳定序数 →枚举标签：可视化编辑
10:212025年8月8日 (五) 10:21 差异历史 +6,104 新 UNOCF 创建页面，内容为“Username’s OCF（UNOCF）是一个由 Username5243 提出的不严格的序数折叠函数。它并未给出集合论定义，而是直接讨论其折叠性质。因此，这实际上只是一个长得像 OCF 的序数记号。 === 首个不可数基数 === 在 <math>\psi(\Omega)</math> 之前，我们可以遵循三个简单的规则： * <math>\psi(0)=1</math> * <math>\psi(\alpha+1)[n]=\psi(\alpha)n</math> * <math>\psi(\alpha[n])=\p…” 标签：可视化编辑
09:052025年8月8日 (五) 09:05 差异历史 +57 小 NOCF 无编辑摘要标签：可视化编辑
09:022025年8月8日 (五) 09:02 差异历史 +32 小投影序数无编辑摘要标签：可视化编辑

23:282025年8月7日 (四) 23:28 差异历史 +18 小 MBO 无编辑摘要标签：可视化编辑

2025年8月17日 (星期日)

2025年8月8日 (星期五)

2025年8月7日 (星期四)