strict fz:修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
无编辑摘要 |
||
| 第1行: | 第1行: | ||
=== 介绍 === | |||
strict fz是一个基于fffZ的改版,使其判定更严格。 | strict fz是一个基于fffZ的改版,使其判定更严格。 | ||
| 第8行: | 第9行: | ||
例如,伪链<math>[\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega,\omega^{\omega+1}\times2]</math>(平移转移经典案例)在这里将会不存在。 | 例如,伪链<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分析 | |||
2026年7月5日 (日) 10:54的版本
介绍
strict fz是一个基于fffZ的改版,使其判定更严格。
fffZ双元兼容的第5条和第6条失效。
在fffZ的多元兼容中,多元兼容存在当且仅当条件I的第1条对于任意成立。
例如,伪链(平移转移经典案例)在这里将会不存在。
分析
| strict fz | BMS |
|---|---|
主词条:strict fz分析