Googology Wiki - 用户贡献 [zh-cn]

OScpN

2026-07-22T03:32:23Z

积分元素.：

含父项关系的序数序列（Ordinal Sequence containing parent-term relationship Notation）作者为积分元素。

其表达式为二元组<math>(a_1,a_2,a_3,...a_{n-1},a_n)(c_1,c_2,c_3,...c_{n-1},c_n)</math>，其中<math>a_1,a_2,a_3,...a_{n-1},a_n</math>为大于等于<math>\omega</math>的序数。<math>a_1=\omega</math>。<math>c_1,c_2,c_3,...c_{n-1},c_n</math>为自然数，用来表示序数序列的父项关系（即另一种形式的山脉图）。

==== 父项的基本性质 ====
<math>a_1=\omega</math>没有父项。

其余<math>a_i=\omega</math>可以没有父项，也可以有父项。

任何大于<math>\omega</math>的项都有父项。

某元素<math>a_i</math>的父项必须小于等于它自身，且位置在其自身左侧。

我们可以用不少方式来暗示父项关系。例如：

===== 1.标记父项距离 =====
如：<math>(\omega,\omega+1,\omega+1)(0,1,1)</math>即代表第三项的父项为第二项，第二项的父项为第一项，第一项没有父项。0代表对应位置的元素无父项。正整数n代表对应元素的父项是它向左找到第n项对应的元素。

===== 2.[[PrSS]]法 =====
如：<math>(\omega,\omega+1,\omega+1)(1,2,3)</math>即代表第三项的父项为第二项，第二项的父项为第一项，第一项没有父项。1代表对应位置的元素无父项。这是如何看出来的？因为[[PrSS]](1,2,3)的父项关系正如上所述。

OScpN

2026-07-20T13:08:50Z

积分元素.：创建页面，内容为“含父项关系的序数序列（Ordinal Sequence containing parent-term Notation）”

含父项关系的序数序列（Ordinal Sequence containing parent-term Notation）

K3pd

2026-07-16T10:20:56Z

积分元素.：

K3pd（KP-3-version）记号作者为积分元素，灵感主要来源于[[KPnd序列]]。

K3pd序列形如<math>(1,3,a_3,a_4,a_5,......a_n)</math><math>(a_3,a_4,a_5,......a_n\in\{x|x\geqslant3,x\in\N\})</math>。

一个元素<math>a_i(i\geqslant3)</math>的父项为其左侧最靠近它的小于它的元素。3和1没有父项。

令末项<math>a_n(a_n>3)</math>的父项为<math>a_f</math>。则坏部为从<math>a_f</math>到<math>a_{n-1}</math>的所有项（包含这两项）。

令展开函数<math>F(x)=g_\alpha(x)</math>，使得<math>a_n-1=g_\alpha(a_f)</math>且<math>\alpha</math>尽可能大。这里<math>g_\alpha(x)</math>是慢速增长层级（SGH）。

展开规则：

序列<math>(1,3,\#,3)=(1,3,\#)+1</math>，其中#为自然数序列。

否则，序列<math>(1,3,a_3,a_4,a_5,...a_{f-1},a_f,...a_{n-1},a_n)</math>的坏部为“<math>a_f,...a_{n-1}</math>”，好部为“<math>1,3,a_3,a_4,a_5,...a_{f-1}</math>”。则该序列展开为：<math>(1,3,a_3,a_4,a_5,...a_{f-1},a_f,...a_{n-1},F(a_f),...F(a_{n-1}),F(F(a_f)),...F(F(a_{n-1})),F(F(F(a_f))),...F(F(F(a_{n-1}))),......)</math>

其极限表达式暂定为<math>(1,3,28)=(1,3,27,3^{3\times27},3^{3\times27\times3^{3\times27}},......)</math>。

现作者已发现无穷降链：<math>(1,3,7,7)>(1,3,7,6,14)>(1,3,7,6,13,13)>(1,3,7,6,13,12,26)>(1,3,7,6,13,12,25,25)>(1,3,7,6,13,12,25,24,50)>......</math>

=== K3pd ver0.2 ===
以下是另一种尝试。

K3pd序列形如<math>(1,3,a_3,a_4,a_5,......a_n)</math><math>(a_3,a_4,a_5,......a_n\in\{x|x\geqslant3,x\in\N\})</math>。

一个元素<math>a_i(i\geqslant3)</math>的父项为其左侧最靠近它的小于它的元素。3和1没有父项。

令末项<math>a_n(a_n>3)</math>的父项为<math>a_f</math>。则坏部为从<math>a_f</math>到<math>a_{n-1}</math>的所有项（包含这两项）。

令展开函数<math>F(x)=g_\alpha(x)</math>，使得<math>a_n-1=g_\alpha(a_f)</math>且<math>\alpha</math>尽可能大。这里<math>g_\alpha(x)</math>是慢速增长层级（SGH）。

展开规则：

序列<math>(1,3,\#,3)=(1,3,\#)+1</math>，其中#为自然数序列。

否则，序列<math>(1,3,a_3,a_4,a_5,...a_{f-1},a_f,...a_{n-1},a_n)</math>的坏部为“<math>a_f,...a_{n-1}</math>”，好部为“<math>1,3,a_3,a_4,a_5,...a_{f-1}</math>”。

设坏部中<math>a_{f+k}=g_{\alpha_k}(a_f)</math>，则该序列展开为：<math>(1,3,a_3,a_4,a_5,...a_{f-1},a_f,...a_{n-1},F(a_f),...g_{\alpha_{n-1-f}}(F(a_f)),F(F(a_f)),...g_{\alpha_{n-1-f}}(F(F(a_f))),F(F(F(a_f))),...g_{\alpha_{n-1-f}}(F(F(F(a_f)))),......)</math>

其极限表达式暂定为<math>(1,3,28)=(1,3,27,3^{3\times27},3^{3\times27\times3^{3\times27}},......)</math>。

==== 展开案例 ====
1.展开：<math>(1,3,9)</math>。

这里，末项9的父项为3，<math>9-1=8=g_{\omega\times2+2}(3)</math>，于是展开为<math>(1,3,8,18,38,78,158,......)</math>（从第二项以后，每一项都是上一项乘以2再加2）。

2.展开：<math>(1,3,4,3)</math>。

这里，末项3没有父项，于是它等于<math>(1,3,4)+1</math>。千万不要条件反射，以为是<math>1-Y(1,3,4,3)</math>提升！

3.展开：<math>(1,3,7,7)</math>。

这里，末项7的父项为3，<math>7-1=6=g_{\omega\times2}(3)</math>，于是展开为<math>(1,3,7,6,13,12,25,24,49,......)</math>。

K3pd

2026-07-16T10:16:57Z

积分元素.：

K3pd（KPnd-3-version）记号作者为积分元素，灵感主要来源于[[KPnd序列]]。

K3pd序列形如<math>(1,3,a_3,a_4,a_5,......a_n)</math><math>(a_3,a_4,a_5,......a_n\in\{x|x\geqslant3,x\in\N\})</math>。

一个元素<math>a_i(i\geqslant3)</math>的父项为其左侧最靠近它的小于它的元素。3和1没有父项。

令末项<math>a_n(a_n>3)</math>的父项为<math>a_f</math>。则坏部为从<math>a_f</math>到<math>a_{n-1}</math>的所有项（包含这两项）。

令展开函数<math>F(x)=g_\alpha(x)</math>，使得<math>a_n-1=g_\alpha(a_f)</math>且<math>\alpha</math>尽可能大。这里<math>g_\alpha(x)</math>是慢速增长层级（SGH）。

展开规则：

序列<math>(1,3,\#,3)=(1,3,\#)+1</math>，其中#为自然数序列。

否则，序列<math>(1,3,a_3,a_4,a_5,...a_{f-1},a_f,...a_{n-1},a_n)</math>的坏部为“<math>a_f,...a_{n-1}</math>”，好部为“<math>1,3,a_3,a_4,a_5,...a_{f-1}</math>”。则该序列展开为：<math>(1,3,a_3,a_4,a_5,...a_{f-1},a_f,...a_{n-1},F(a_f),...F(a_{n-1}),F(F(a_f)),...F(F(a_{n-1})),F(F(F(a_f))),...F(F(F(a_{n-1}))),......)</math>

其极限表达式暂定为<math>(1,3,28)=(1,3,27,3^{3\times27},3^{3\times27\times3^{3\times27}},......)</math>。

现作者已发现无穷降链：<math>(1,3,7,7)>(1,3,7,6,14)>(1,3,7,6,13,13)>(1,3,7,6,13,12,26)>(1,3,7,6,13,12,25,25)>(1,3,7,6,13,12,25,24,50)>......</math>

=== K3pd ver0.2 ===
以下是另一种尝试。

K3pd序列形如<math>(1,3,a_3,a_4,a_5,......a_n)</math><math>(a_3,a_4,a_5,......a_n\in\{x|x\geqslant3,x\in\N\})</math>。

一个元素<math>a_i(i\geqslant3)</math>的父项为其左侧最靠近它的小于它的元素。3和1没有父项。

令末项<math>a_n(a_n>3)</math>的父项为<math>a_f</math>。则坏部为从<math>a_f</math>到<math>a_{n-1}</math>的所有项（包含这两项）。

令展开函数<math>F(x)=g_\alpha(x)</math>，使得<math>a_n-1=g_\alpha(a_f)</math>且<math>\alpha</math>尽可能大。这里<math>g_\alpha(x)</math>是慢速增长层级（SGH）。

展开规则：

序列<math>(1,3,\#,3)=(1,3,\#)+1</math>，其中#为自然数序列。

否则，序列<math>(1,3,a_3,a_4,a_5,...a_{f-1},a_f,...a_{n-1},a_n)</math>的坏部为“<math>a_f,...a_{n-1}</math>”，好部为“<math>1,3,a_3,a_4,a_5,...a_{f-1}</math>”。

设坏部中<math>a_{f+k}=g_{\alpha_k}(a_f)</math>，则该序列展开为：<math>(1,3,a_3,a_4,a_5,...a_{f-1},a_f,...a_{n-1},F(a_f),...g_{\alpha_{n-1-f}}(F(a_f)),F(F(a_f)),...g_{\alpha_{n-1-f}}(F(F(a_f))),F(F(F(a_f))),...g_{\alpha_{n-1-f}}(F(F(F(a_f)))),......)</math>

其极限表达式暂定为<math>(1,3,28)=(1,3,27,3^{3\times27},3^{3\times27\times3^{3\times27}},......)</math>。

==== 展开案例 ====
1.展开：<math>(1,3,9)</math>。

这里，末项9的父项为3，<math>9-1=8=g_{\omega\times2+2}(3)</math>，于是展开为<math>(1,3,8,18,38,78,158,......)</math>（从第二项以后，每一项都是上一项乘以2再加2）。

2.展开：<math>(1,3,4,3)</math>。

这里，末项3没有父项，于是它等于<math>(1,3,4)+1</math>。千万不要条件反射，以为是<math>1-Y(1,3,4,3)</math>提升！

3.展开：<math>(1,3,7,7)</math>。

这里，末项7的父项为3，<math>7-1=6=g_{\omega\times2}(3)</math>，于是展开为<math>(1,3,7,6,13,12,25,24,49,......)</math>。

K3pd

2026-07-08T10:54:48Z

积分元素.：

K3pd

2026-07-08T09:58:24Z

积分元素.：

K3pd

2026-07-08T07:31:45Z

积分元素.：

本记号作者为积分元素，灵感主要来源于[[KPnd序列]]。

K3pd序列形如<math>(1,3,a_3,a_4,a_5,......a_n)</math><math>(a_3,a_4,a_5,......a_n\in\{x|x\geqslant3,x\in\N\})</math>。

一个元素<math>a_i(i\geqslant3)</math>的父项为其左侧最靠近它的小于它的元素。3和1没有父项。

令<math>a_n(a_n>3)</math>的父项为<math>a_f</math>。则坏部为从<math>a_f</math>到<math>a_{n-1}</math>的所有项（包含这两项）。

令展开函数<math>F(x)=g_\alpha(x)</math>，使得<math>a_n=g_\alpha(a_f)</math>且<math>\alpha</math>尽可能大。这里<math>g_\alpha(x)</math>是慢速增长层级（SGH）。

展开规则：

序列<math>(1,3,\#,3)=(1,3,\#)+1</math>，其中#为自然数序列。

K3pd

2026-07-08T07:30:22Z

积分元素.：

K3pd

2026-07-08T07:27:09Z

积分元素.：创建页面，内容为“本记号作者为积分元素，灵感主要来源于KPnd序列。 K3pd序列形如<math>(1,3,a_3,a_4,a_5,......a_n)</math><math>(a_3,a_4,a_5,......a_n\in\{x|x\geqslant3,x\in\N\})</math>。一个元素<math>a_i(i\geqslant3)</math>的父项为其左侧最靠近它的小于它的元素。3和1没有父项。令<math>a_n(a_n>3)</math>的父项为<math>a_f</math>。则坏部为从<math>a_f</math>到<math>a_{n-1}</math>的所有项（包含这两项）。…”

strict fz分析Part1

2026-07-07T23:05:42Z

积分元素.：

strict fz分析Part1

2026-07-07T22:57:17Z

积分元素.：

strict fz分析Part1

2026-07-07T13:29:08Z

积分元素.：

strict fz分析Part1

2026-07-07T13:25:20Z

积分元素.：

strict fz分析Part1

2026-07-07T13:21:48Z

积分元素.：

strict fz分析Part1

2026-07-07T13:17:40Z

积分元素.：

strict fz分析Part1

2026-07-07T13:17:12Z

积分元素.：

strict fz分析Part1

2026-07-07T10:31:44Z

积分元素.：

strict fz分析Part1

2026-07-07T10:01:01Z

积分元素.：

strict fz分析Part1

2026-07-07T03:25:38Z

积分元素.：

以下使用strict fz和BMS对照分析，用<math>\psi</math>简称<math>\psi_{ZS}</math>（strict fz的符号，S即strict）

<math>\psi(0)=1</math>

<math>\psi(1)=\omega</math>

<math>\psi[\omega](\omega)=\omega^\omega</math>

<math>\psi[\omega](\psi[\omega](\omega))=\omega^{\omega^\omega}</math>

<math>\psi(\omega)=(0)(1,1)</math>

<math>\psi(\omega+1)=(0)(1,1)(1)</math>

<math>\psi[\omega\times2](\omega\times2)=(0)(1,1)(1)(2)</math>

<math>\psi[\omega\times2](\varepsilon_0)=(0)(1,1)(1)(2,1)</math>

<math>\psi(\omega\times2)=(0)(1,1)(1,1)</math>

<math>\psi[\omega^2](\omega^2)=(0)(1,1)(2)</math>

<math>\psi[\omega^2,\omega^2+\omega](\omega^2+\omega)=(0)(1,1)(2)(1)(2)</math>

<math>\psi[\omega^2](\omega^2+\omega)=(0)(1,1)(2)(1,1)</math>

<math>\psi[\omega^2](\omega^2+\omega\times2)=(0)(1,1)(2)(1,1)(1,1)</math>

<math>\psi[\omega^2](\omega^2+\omega)=(0)(1,1)(2)(1,1)(2)</math>

<math>\psi[\omega^2](\omega^2\times2)=(0)(1,1)(2)(2)</math>

<math>\psi[\omega^2](\omega^3)=(0)(1,1)(2)(3)</math>

<math>\psi[\omega^2](\omega^\omega)=(0)(1,1)(2)(3)(4)</math>

<math>\psi[\omega^2](\varepsilon_0)=(0)(1,1)(2)(3,1)</math>

<math>\psi[\omega^2](\psi[\omega^2](\omega^2))=(0)(1,1)(2)(3,1)(4)</math>

<math>\psi[\omega^2](\psi[\omega^2](\psi[\omega^2](\omega^2)))=(0)(1,1)(2)(3,1)(4)(5,1)(6)</math>

<math>\psi(\omega^2)=(0)(1,1)(2,1)</math>

<math>\psi(\omega^2\times2)=(0)(1,1)(2,1)(1,1)(2,1)</math>

<math>\psi(\omega^2\times3)=(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)</math>

<math>\psi[\omega^3](\omega^3)=(0)(1,1)(2,1)(2)</math>

<math>\psi[\omega^3](\varepsilon_0)=(0)(1,1)(2,1)(2)(3,1)</math>

<math>\psi(\omega^3)=(0)(1,1)(2,1)(2,1)</math>

<math>\psi(\omega^4)=(0)(1,1)(2,1)(2,1)(2,1)</math>

<math>\psi[\omega^\omega](\omega^\omega)=(0)(1,1)(2,1)(3)</math>

<math>\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1})=(0)(1,1)(2,1)(3)(2)</math>

<math>\color{red}{\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1}+\omega^\omega)=(0)(1,1)(2,1)(3)(2)(1,1)(2,1)(3)}</math>（P.S.这里按照规则没有<math>[\omega^\omega,\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega]</math>提升，因为这个伪链不存在）

<math>\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1}\times2)=(0)(1,1)(2,1)(3)(2)(1,1)(2,1)(3)(2)</math>

<math>\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+2})=(0)(1,1)(2,1)(3)(2)(2)</math>

<math>\psi[\omega^\omega,\omega^{\omega+1}](\varepsilon_0)=(0)(1,1)(2,1)(3)(2)(3,1)</math>

<math>\psi[\omega^\omega,\omega^{\omega+1}](\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1}))=(0)(1,1)(2,1)(3)(2)(3,1)(4,1)(5)</math>

<math>\psi[\omega^\omega](\omega^{\omega+1})=(0)(1,1)(2,1)(3)(2,1)</math>

<math>\psi[\omega^\omega,\omega^{\omega+1}\times2](\omega^{\omega+1}\times2)=(0)(1,1)(2,1)(3)(2,1)(1,1)(2,1)(3)(2)</math>

<math>\psi[\omega^\omega](\omega^{\omega+1}\times2)=(0)(1,1)(2,1)(3)(2,1)(1,1)(2,1)(3)(2,1)</math>

<math>\psi[\omega^\omega,\omega^{\omega+2}](\omega^{\omega+2})=(0)(1,1)(2,1)(3)(2,1)(2)</math>

<math>\psi[\omega^\omega](\omega^{\omega+2})=(0)(1,1)(2,1)(3)(2,1)(2,1)</math>

<math>\psi[\omega^\omega](\omega^{\omega+3})=(0)(1,1)(2,1)(3)(2,1)(2,1)(2,1)</math>

<math>\psi[\omega^\omega](\omega^{\omega+4})=(0)(1,1)(2,1)(3)(2,1)(2,1)(2,1)(2,1)</math>

<math>\psi[\omega^\omega](\omega^{\omega\times2})=(0)(1,1)(2,1)(3)(2,1)(3)</math>

<math>\psi[\omega^\omega](\omega^{\omega^2})=(0)(1,1)(2,1)(3)(3)</math>

<math>\psi[\omega^\omega](\omega^{\omega^\omega})=(0)(1,1)(2,1)(3)(4)</math>

<math>\psi[\omega^\omega](\varepsilon_0)=(0)(1,1)(2,1)(3)(4,1)</math>

<math>\color{orange}\psi[\omega^\omega](\omega^{\omega^{\psi[\omega^\omega](\omega^\omega)}})=\psi[\omega^\omega](\psi[\omega^\omega](\omega^\omega))=(0)(1,1)(2,1)(3)(4,1)(5,1)(6)</math>

<math>\color{red}\psi(\omega^\omega)=(0)(1,1)(2,1)(3,1)</math>

<math>\psi(\omega^\omega\times2)=(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)</math>

<math>\psi(\omega^\omega\times3)=(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)</math>

<math>\psi[\omega^{\omega+1}](\omega^{\omega+1})=(0)(1,1)(2,1)(3,1)(2)</math>

<math>\psi[\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega](\omega^{\omega+1}+\omega^\omega)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3)</math>

<big><math>\color{purple}\psi[\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega](\omega^{\omega+1}\times2)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3)(2)</math></big>（根据规则，<math>[\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega,\omega^{\omega+1}\times2]</math>这个伪链也不存在。平移转移在这里被禁止。）

<math>\psi[\omega^{\omega+1}](\omega^{\omega+1}+\omega^\omega)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3)(2,1)</math>

<math>\psi[\omega^{\omega+1}](\omega^{\omega+1}\times2)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3)(2,1)(3)</math>

<math>\psi[\omega^{\omega+1}](\omega^{\omega+2})=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3)(3)</math>

<math>\psi[\omega^{\omega+1}](\varepsilon_0)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3)(4,1)</math>

<math>\psi[\omega^{\omega+1}](\psi[\omega^{\omega+1}](\omega^{\omega+1}))=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(7)</math>

<math>\psi(\omega^{\omega+1})=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3,1)</math>

<math>\psi[\omega^{\omega+1}+\omega^\omega](\omega^{\omega+1}+\omega^\omega)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3,1)(1,1)(2,1)(3)</math>

<math>\psi[\omega^{\omega+1}+\omega^\omega,\omega^{\omega+1}\times2](\omega^{\omega+1}\times2)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(2)</math>

<math>\psi[\omega^{\omega+1}+\omega^\omega](\omega^{\omega+1}\times2)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(2,1)</math>

<math>\psi(\omega^{\omega+1}+\omega^\omega)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)</math>

<math>\psi[\omega^{\omega+1}\times2](\omega^{\omega+1}\times2)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3,1)(2)</math>

<math>\psi[\omega^{\omega+1}\times3](\omega^{\omega+1}\times3)=(0)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3,1)(2)(1,1)(2,1)(3,1)(2)</math>

<math>\psi[\omega^{\omega+2}](\omega^{\omega+2})=(0)(1,1)(2,1)(3,1)(2)(2)</math>

<math>\psi[\omega^{\omega+2},\omega^{\omega+2}+\omega^\omega](\omega^{\omega+2}+\omega^\omega)=(0)(1,1)(2,1)(3,1)(2)(2)(1,1)(2,1)(3)</math>

<math>\psi[\omega^{\omega+2},\omega^{\omega+2}+\omega^\omega,\omega^{\omega+2}+\omega^{\omega+1}](\omega^{\omega+2}+\omega^{\omega+1})=(0)(1,1)(2,1)(3,1)(2)(2)(1,1)(2,1)(3)(2)</math>

<math>\psi[\omega^{\omega+2},\omega^{\omega+2}+\omega^\omega,\omega^{\omega+2}+\omega^{\omega+1}](\omega^{\omega+2}\times2)=(0)(1,1)(2,1)(3,1)(2)(2)(1,1)(2,1)(3)(2)(2)</math>

<math>\psi[\omega^{\omega+2},\omega^{\omega+2}+\omega^\omega,\omega^{\omega+2}+\omega^{\omega+1}](\omega^{\omega+3})=(0)(1,1)(2,1)(3,1)(2)(2)(1,1)(2,1)(3)(2)(2)(2)</math>

strict fz分析Part1

2026-07-07T03:22:16Z

积分元素.：撤销积分元素.（讨论）的修订版本3352

strict fz分析Part1

2026-07-07T03:20:24Z

积分元素.：

strict fz分析Part1

2026-07-06T13:34:22Z

积分元素.：

strict fz分析Part1

2026-07-06T05:58:31Z

积分元素.：

strict fz分析Part1

2026-07-05T13:27:29Z

积分元素.：

strict fz分析Part1

2026-07-05T12:34:12Z

积分元素.：

strict fz分析Part1

2026-07-05T10:59:24Z

积分元素.：

strict fz分析Part1

2026-07-05T10:33:35Z

积分元素.：

strict fz分析Part1

2026-07-05T09:32:40Z

积分元素.：

strict fz分析Part1

2026-07-05T09:07:36Z

积分元素.：

strict fz分析Part1

2026-07-05T06:57:59Z

积分元素.：

strict fz分析Part1

2026-07-05T05:53:11Z

积分元素.：

strict fz分析Part1

2026-07-05T05:47:09Z

积分元素.：

strict fz分析Part1

2026-07-05T03:34:15Z

积分元素.：

fffz分析Part11

2026-07-05T03:17:47Z

积分元素.：

strict fz

2026-07-05T03:15:31Z

积分元素.：

=== 介绍 ===
strict fz是一个基于fffZ的改版，使其判定更严格。

fffZ双元兼容的第5条和第6条失效。

在fffZ的多元兼容中，多元兼容<math>[\alpha_1,\alpha_2,...\alpha_n](n\geqslant3,n\in\N)</math>存在当且仅当条件I的第1条对于任意<math>1\leqslant i < j\leqslant n\ (i,j\in\N)</math>成立。

[[Fake Fake Fake Zeta]]规则见左

例如，伪链<math>[\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega,\omega^{\omega+1}\times2]</math>（平移转移经典案例）在这里将会不存在。

=== 分析 ===
{| class="wikitable"
|+strict fz v.s. BMS部分分析
!strict fz
!BMS
|-
|<math>\psi_Z(0)</math>
|<math>(0)</math>
|-
|<math>\psi_Z[\omega](\omega)</math>
|<math>(0)(1)(2)</math>
|-
|<math>\psi_Z[\omega](\psi_Z[\omega](\omega))</math>
|<math>(0)(1)(2)(3)</math>
|-
|<math>\psi_Z(\omega)</math>
|<math>(0,0)(1,1)</math>
|}
主词条：[[strict fz分析]]

strict fz分析

2026-07-05T03:14:59Z

积分元素.：

[[strict fz分析Part1]]

strict fz分析Part1

2026-07-05T03:14:24Z

积分元素.：创建页面，内容为“以下使用strict fz和BMS对照分析，用<math>\psi</math>简称<math>\psi_{ZS}</math>（strict fz的符号，S即strict） <math>\psi(0)=1</math> <math>\psi(1)=\omega</math> <math>\psi[\omega](\omega)=\omega^\omega</math> <math>\psi[\omega](\psi[\omega](\omega))=\omega^{\omega^\omega}</math> <math>\psi(\omega)=(0)(1,1)</math> <math>\psi(\omega+1)=(0)(1,1)(1)</math> <math>\psi[\omega\times2](\omega\times2)=(0)(1,1)(1)(2)</math> <math>\psi[\omega\tim…”

strict fz分析

2026-07-05T02:55:44Z

积分元素.：创建页面，内容为“strict fz分析Part1”

strict fz分析Part1

strict fz

2026-07-05T02:54:43Z

积分元素.：

strict fz

2026-07-04T09:56:53Z

积分元素.：

strict fz是一个基于fffZ的改版，使其判定更严格。

fffZ双元兼容的第5条和第6条失效。

在fffZ的多元兼容中，多元兼容<math>[\alpha_1,\alpha_2,...\alpha_n](n\geqslant3,n\in\N)</math>存在当且仅当条件I的第1条对于任意<math>1\leqslant i < j\leqslant n\ (i,j\in\N)</math>成立。

[[Fake Fake Fake Zeta]]规则见左

例如，伪链<math>[\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega,\omega^{\omega+1}\times2]</math>（平移转移经典案例）在这里将会不存在。

strict fz

2026-07-04T09:54:33Z

积分元素.：加严判定。易于理解但很可能进一步弱化强度。

strict fz是一个基于fffZ的改版，使其判定更严格。

fffZ双元兼容的第5条和第6条失效。

在fffZ的多元兼容中，多元兼容<math>[\alpha_1,\alpha_2,...\alpha_n](n\geqslant3,n\in\N)</math>存在当且仅当条件I的第1条对于任意<math>1\leqslant i < j\leqslant n\ (i,j\in\N)</math>成立。

[[Fake Fake Fake Zeta]]规则见左

例如，伪链<math>[\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega,\omega^{\omega+1}\times2]</math>（即平移转移经典案例）在这里将会不存在。

strict fz

2026-07-04T08:46:56Z

积分元素.：

strict fz是一个基于fffZ的改版，使其判定更严格。

在fffZ的多元兼容中，多元兼容<math>[\alpha_1,\alpha_2,...\alpha_n](n\geqslant3,n\in\N)</math>存在当且仅当条件I的第1条对于任意<math>1\leqslant i < j\leqslant n\ (i,j\in\N)</math>成立。

[[Fake Fake Fake Zeta]]规则见左

例如，伪链<math>[\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega,\omega^{\omega+1}\times2]</math>（即平移转移经典案例）在这里将会不存在。

strict fz

2026-07-04T08:38:55Z

积分元素.：

strict fz

2026-07-04T08:37:21Z

积分元素.：创建页面，内容为“strict fz是一个基于fffZ的改版。在fffZ的多元兼容中，多元兼容<math>[\alpha_1,\alpha_2,...\alpha_n](n\geqslant3,n\in\N)</math>存在当且仅当条件I的第1条对于任意<math>1\leqslant i < j\leqslant n\ (i,j\in\N)</math>成立 Fake Fake Fake Zeta规则见左”

strict fz是一个基于fffZ的改版。

在fffZ的多元兼容中，多元兼容<math>[\alpha_1,\alpha_2,...\alpha_n](n\geqslant3,n\in\N)</math>存在当且仅当条件I的第1条对于任意<math>1\leqslant i < j\leqslant n\ (i,j\in\N)</math>成立

[[Fake Fake Fake Zeta]]规则见左

fffz分析Part11

2026-07-04T07:56:59Z

积分元素.：/* 此分析为存根，请各位gggist们前来完善 */

= 此分析为存根，请各位gggist们前来完善 =
本条目展示[[Fake Fake Fake Zeta|FFFZ]]强度分析的第<math>11</math>部分，使用[[Y序列]]进行对照
{| class="wikitable mw-collapsible"
|+Y(1,3)~???
!FFFZ
!Y序列
|-
!ψ_Z[ε_ω](ε_ω+1)
!1,3,2
|-
!ψ_Z[ε_ω,ε_ω+ω](ε_ω+ω)
!1,3,2,3
|-
!ψ_Z[ε_ω,ε_ω+ω](ε_ω+ε_0)
!1,3,2,4
|-
!ψ_Z[ε_ω,ε_ω+ω](ε_ω*2)
!1,3,2,4,5
|-
!ψ_Z[ε_ω,ε_ω+ω](ζ_0)
!1,3,2,4,6
|-
!ψ_Z[ε_ω,ε_ω+ω](BHO)
!1,3,2,4,7
|-
!ψ_Z[ε_ω,ε_ω+ω](BO)
!1,3,2,4,8
|-
!ψ_Z[ε_ω,ε_ω+ω](ψ_Z[ε_ω](ε_ω))
!1,3,2,5
|}
[[分类:分析]]
[[分类:存根]]
[[分类:页面待更改]]

fffz分析Part11

2026-07-04T03:18:10Z

积分元素.：

讨论:Fake Fake Fake Zeta

2026-07-04T00:42:13Z

积分元素.：/* 针对平移转移的问题的讨论 */ 新章节

== 针对平移转移的问题的讨论 ==

[https://zhuanlan.zhihu.com/p/716843492]我是一个对fffZ感兴趣的用户。我针对这篇分析的“平移转移”查找定义，发现没有。大家可以想想如何修补这一点吗？ [[用户:积分元素.|积分元素.]]（[[用户讨论:积分元素.|留言]]） 2026年7月4日 (六) 08:42 (CST)

无穷降链

2026-07-03T14:26:44Z

积分元素.：/* 例子 */

在googology中，无穷降链是一个重要概念。一个记号没有无穷降链是其良定义的必要条件。

== 定义 ==
无穷降链指的是一个无穷序列a_1,a_2,a_3......满足：

a_1>a_2>a_3>......，即该序列集合中不存在最小的项。

一个记号[[良序]]等价于其没有无穷降链。

== 例子 ==
例如，[[元素属性|坏根]]始终为第一项的[[PrSS]]：

1,2,2展开为1,2,1,2,1,2……

1,2,1,2展开为1,2,1,1,2,1,1,2,1,1,2……

1,2,1,1,2展开为1,2,1,1,1,2,1,1,1,2,1,1,1,2……

因此，我们需要知道1,2,2有多大，就需要知道1,2,1,2有多大，而要知道1,2,1,2有多大，又需要知道1,2,1,1,2有多大……以此类推，这个集合里不存在一个最小的序列能让我们知道其大小，因而我们无法知道1,2,2的实际大小。
[[分类:重要概念]]