打开/关闭搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

新页面

更多操作
新页面
隐藏注册用户 | 隐藏机器人 | 隐藏重定向
（最新 | 最旧） 查看（ | ）（20 | 50 | 100 | 250 | 500）

2025年8月5日 (星期二)

2025年8月4日 (星期一)

2025年7月31日 (星期四)

2025年7月30日 (星期三)

  • 13:052025年7月30日 (三) 13:05 非递归化序列记号 （历史 | 编辑） [1,782字节] Z​（留言 | 贡献） （创建页面，内容为“本词条介绍将部分序列记号改造为非递归记号的通用办法 == 定义 == 对于极限基本列为<math>1,2</math>、<math>1,3</math>、<math>1,4</math>……的，且存在坏根、好部、坏部的序列型记号，可以按照如下方法将其转换为非递归记号： # 末项为1，则为后继； # 否则，在序列最前方补一个1，随后按该记号规则找到坏根，如果坏根不是补的那个1，则按照该记号规则…”） 标签：可视化编辑

2025年7月29日 (星期二)

  • 20:322025年7月29日 (二) 20:32 传递集 （历史 | 编辑） [3,786字节] Tabelog​（留言 | 贡献） （创建页面，内容为“在集合论中，'''传递集'''（或递移集，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…”） 标签：可视化编辑
  • 19:532025年7月29日 (二) 19:53 内模型 （历史 | 编辑） [1,096字节] Tabelog​（留言 | 贡献） （创建页面，内容为“在集合论中，'''内模型'''（Inner Model）是指一个满足 ZFC 公理的传递类模型（即其元素关系在更广泛的宇宙中保持绝对），且包含所有序数。内模型是研究集合论基础问题（如大基数公理的一致性强度、独立性证明等）的核心工具之一，尤其在内模型计划（Inner Model Program）中扮演关键角色。 === 定义与性质 === * 若 <math>M</math> 是内模型…”） 标签：可视化编辑
  • 19:482025年7月29日 (二) 19:48 传递模型 （历史 | 编辑） [1,696字节] Tabelog​（留言 | 贡献） （创建页面，内容为“在集合论中，'''传递模型'''（或称'''传递结构'''，Transitive Model）是一种特殊的模型（结构），其元素的元素仍属于该模型。它是研究集合论公理（如 ZFC）及其独立性、内模型理论（Inner Model Theory）和力迫法（Forcing）的重要工具。 === 定义 === 一个传递模型通常指一个二元组 <math>(M,\in M)</math>，其中 <math>M</math> 是一个集合或真类，<math>\i…”） 标签：可视化编辑
  • 19:412025年7月29日 (二) 19:41 一致性 （历史 | 编辑） [1,990字节] Tabelog​（留言 | 贡献） （创建页面，内容为“在'''集合论'''中，'''一致性'''（Consistency）指一个形式理论无法推导出矛盾（即同时证明某个命题及其否定）。若一个理论存在至少一个模型（即满足所有公理的结构），则该理论是一致的。一致性是形式系统可信度的核心，确保其推导的定理不会导致逻辑悖论。 === 定义 === 若理论 <math>T</math> 中不存在命题 <math>\varphi</math> 使得 <math>T\vdash\varphi</math>…”） 标签：可视化编辑
  • 19:142025年7月29日 (二) 19:14 FUO （历史 | 编辑） [1,300字节] Tabelog​（留言 | 贡献） （创建页面，内容为“在集合论中，<math>\omega_1</math>（First Uncountable Ordinal，FUO）表示第一个不可数序数，即所有可数序数的最小上界。它是序数的良序集合，其元素为所有与自然数集序型相同的可数良序集。作为序数，<math>\omega_1</math> 本身是不可数的，其基数为 <math>\aleph_1</math>，即第一个不可数基数。在 ZFC 公理体系下…”） 标签：可视化编辑
  • 15:452025年7月29日 (二) 15:45 无穷基数的平方等于自身 （历史 | 编辑） [2,601字节] Zhy137036​（留言 | 贡献） （创建页面，内容为“== <math>\aleph_\alpha\times\aleph_\alpha=\aleph_\alpha</math> 的证明 == 证明：我们如下定义 <math>\mathrm{Ord}^2</math> 上的良序： <math display=block> \begin{aligned} (\alpha,\beta)<(\gamma,\delta)\iff{}&\max\{\alpha,\beta\}<\max\{\gamma,\delta\}\\ &\lor(\max\{\alpha,\beta\}=\max\{\gamma,\delta\}\land \alpha<\gamma)\\ &\lor(\max\{\alpha,\beta\}=\max\{\gamma,\delta\}\land\alpha=\gamma\land\beta<\delta)\\ \end{aligned} </math> 可以证明，…”）
  • 12:012025年7月29日 (二) 12:01 递归 Mahlo 序数 （历史 | 编辑） [3,033字节] Tabelog​（留言 | 贡献） （创建页面，内容为“递归 Mahlo 序数 <math>M</math> 是一个大反射序数，定义为 <math>2-2</math>。、”） 标签：可视化编辑

2025年7月28日 (星期一)

  • 20:102025年7月28日 (一) 20:10 Dropping Hydra （历史 | 编辑） [7,420字节] Tabelog​（留言 | 贡献） （创建页面，内容为“=== 定义 === 该符号是一个三色有序树 '''T'''，附加两个正整数作为其“数值参数”。在符号 '''T'''[x, y] 中，红色是根节点的特殊颜色，而白色和黑色用于其他节点。 首先，红根树的数量少于白根树的数量，而白根树的数量又少于黑根树的数量。然后，在所有白根树中，只有白根的树是最小的，而在所有黑根树中，只有黑根的树是最小的。要比较树 '''A…”） 标签：可视化编辑：已切换
  • 19:272025年7月28日 (一) 19:27 超限 -1-Y VS Veblen 函数 （历史 | 编辑） [4,249字节] GaoKao​（留言 | 贡献） （创建页面，内容为“本条目展示超限(-1)-Y和Veblen函数的列表分析。 {| class="wikitable" !超限(-1)-Y !Veblen函数 |- |<math>(1,\omega)</math> |<math>\varphi(1,0)</math> |- |<math>(1,\omega,1)</math> |<math>\varphi(1,0)+1</math> |- |<math>(1,\omega,1,\omega)</math> |<math>\varphi(1,0)+\varphi(1,0)</math> |- |<math>(1,\omega,2)</math> |<math>\varphi(\varphi(1,0)+1)</math> |- |<math>(1,\omega,2,1,\omega,2)</math> |<math>\varphi(\varphi(1,0)+1)+\varphi(\varphi(…”） 标签：可视化编辑
  • 18:382025年7月28日 (一) 18:38 NOCF （历史 | 编辑） [21,628字节] Tabelog​（留言 | 贡献） （创建页面，内容为“NOCF（None Ordinal Collapse Function）是 OCF 的一种。 === 理念 === 由于 NOCF 没有完整的定义，这里给出它的理念： <math>\psi_\alpha(0)=\Omega_\alpha\quad(\Omega_0=1)</math>，<math>\psi_\alpha(\sharp+1)=\psi_\alpha(\sharp)+1</math>；在 OCF 内遇到 <math>\Omega_\alpha</math> 的处理方式与 MOCF 一致。 === 分析 === 下列分析的等号左侧为 NOCF，右侧为 MOCF。<…”） 标签：可视化编辑

2025年7月26日 (星期六)

2025年7月24日 (星期四)

2025年7月23日 (星期三)

  • 20:332025年7月23日 (三) 20:33 LPrSS vs HPrSS vs 0-Y vs 1-Y （历史 | 编辑） [2,592字节] 夏浅不是下潜​（留言 | 贡献） （创建页面，内容为“{| class="wikitable" |+ !LPrSS !HPrSS !0-Y !Y !MOCF |- | <math>1,3</math> | <math>1,3</math> | <math>1,3</math> | <math>1,2,4</math> | <math>\psi(0)</math> |- | <math>1,3,2</math> | <math>1,3,2</math> | <math>1,3,2</math> | <math>1,2,4,2</math> | <math>\psi(0)\times\omega</math> |- | <math>1,3,3</math> | <math>1,3,3</math> | <math>1,3,3</math> | <math>1,2,4,4</math> | <math>\psi(1)</math> |- | <math>1,3,4</math> | <math>1,3,4</math> | <math>1,3,4</math> | <math…”） 标签：可视化编辑：已切换
  • 16:402025年7月23日 (三) 16:40 -1-Y （历史 | 编辑） [10,919字节] 夏浅不是下潜​（留言 | 贡献） （创建页面，内容为“'''(-1)-Y''' 是一种 Worm 型序数记号． == 定义 == === 合法式 === 一个'''合法'''的 (-1)-Y 表达式是形如 <math>S=(s_{1},s_{2},\cdots,s_{n})|n,s_{1},s_{2},\cdots,s_{n}\in\mathbb{N}</math> 且 <math>\langle \text{1} \rangle\ \quad s_{1}=1\quad\text{if }n>0.</math> '''例：''' <math>(1,2,2,3,3)</math> 是一个合法的 (-1)-Y 表达式. <math>(\Omega,1,2)</math> 不是一个合法的 PrSS 表达式，因为 <m…”） 标签：可视化编辑：已切换

2025年7月22日 (星期二)

  • 22:012025年7月22日 (二) 22:01 JO （历史 | 编辑） [941字节] YourCpper​（留言 | 贡献） （创建页面，内容为“JO（Jäger's Ordinal，雅格序数），是一个重要的序数。 {| class="wikitable" |+JO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{I+1})</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 & 3 & 4\\ 0 & 1 & 1 & 1 & 2\\ 0 & 1 & 1 & 0 & 0\end{pmatrix}</math> |- |0-Y |<math>1,4,7,9,12</math> |- |Y序列 |<math>1,2,4,8,12,15,19</math> |- |ex-hydra |<math>p1(p3(p3(p2(p3))))</math> |- |M记号…”） 标签：可视化编辑
  • 21:412025年7月22日 (二) 21:41 BIO （历史 | 编辑） [645字节] YourCpper​（留言 | 贡献） （创建页面，内容为“BIO(Bird's Ordinal，鸟之序数)，是 googology 历史中的一个重要的序数。它是鸟之记号（Bird's Array Notation）的极限。 {| class="wikitable" |+BIO !序数记号 !表达式 |- !BOCF/MOCF !<math>\psi(\Omega_\Omega)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 & 3\\ 0 & 1 & 1 & 1\\ 0 & 1 & 1 & 0\end{pmatrix}</math> |- |[…”） 标签：可视化编辑
  • 13:122025年7月22日 (二) 13:12 HSS Hydra （历史 | 编辑） [884字节] Z​（留言 | 贡献） （创建页面，内容为“HSS Hydra是一个序数记号 == 定义 == 其合法式与极限基本列与PSS Hydra相同。 如果末尾的<math>p_n</math>是<math>p_1</math>，则与PSS Hydra规则相同 否则，向外找到包着它的所有<math>p_{n-1}</math>,记它们为这个表达式的根。随后，按照字典序比较所有根内部的表达式，其表达式小于最内侧根的表达式的根称为小根。<math>p_n</math>找到最靠内的，内部没有小根的根…”） 标签：可视化编辑

2025年7月20日 (星期日)

2025年7月19日 (星期六)

2025年7月18日 (星期五)

  • 16:402025年7月18日 (五) 16:40 非递归BMS分析 （历史 | 编辑） [28,065字节] Z​（留言 | 贡献） （创建页面，内容为“本条目展示非递归BMS和其他非递归记号的列表分析 {| class="wikitable" |+ !非递归BMS !其他记号 |- |<math>\varnothing</math> |<math>0</math> |- |<math>(1)</math> |<math>1</math> |- |<math>(1)(1)</math> |<math>2</math> |}”） 标签：可视化编辑
  • 16:002025年7月18日 (五) 16:00 非递归BMS （历史 | 编辑） [1,452字节] Z​（留言 | 贡献） （创建页面，内容为“非递归BMS是用BMS结构来表示非递归序数的一个记号。 == 定义 == 首列一定是若干的1构成 0和空等价，在列末可以任意添加0而不改变表达式本身大小，如<math>(1,1,1,1)(2,2,1)(3,3,2)</math>等价于<math>(1,1,1,1,0)(2,2,1,0,0)(3,3,2,0,0)</math> 如果末列是<math>(1)</math>，则等同于后继 如<math>(1,1,1)(2,2)(1)=(1,1,1)(2,2)+1</math> 否则，如果LNZ(末列…”） 标签：可视化编辑
  • 09:262025年7月18日 (五) 09:26 模型 （历史 | 编辑） [2,720字节] 虚妄之幻​（留言 | 贡献） （模型的定义） 标签：可视化编辑
  • 08:242025年7月18日 (五) 08:24 投影序数 （历史 | 编辑） [14,255字节] Z​（留言 | 贡献） （创建页面，内容为“投影序数(projection)是test_alpha0创造的非递归记号。投影序数是目前为止最方便的强大非递归序数表达方式，伴生的限制则是——它很有可能永远无法良定义（至少在比较小的序数处如此）。但即使如此，它可以作为非递归序数和递归记号的交接桥梁，并在国内大数社群广泛地被使用。 == 定义 == === 第一个2-投影序数 === 我们定义1-投影序数(<math>1-projecti…”） 标签：可视化编辑
  • 08:072025年7月18日 (五) 08:07 0-Y （历史 | 编辑） [10,917字节] Apocalypse​（留言 | 贡献） （创建页面，内容为“'''0-Y'''是一种Worm型序数记号，它是PrSS的一种扩展。 == 定义 == === 合法表达式 === 一个合法的 0-Y 表达式是以 1 开头的正整数序列，即形如 <math>(a_1,a_2,\cdots,a_n)\quad(n,a_1,a_2,\cdots,a_n\in\N,a_1=1)</math> 的序列。 例如：<math>(1,4,6,4)</math>和<math>(1,1,4,5,1,4)</math>都是合法的 0-Y 表达式，而<math>(1,2,\pi)</math>不是。 === 结构 === 0-Y…”）
  • 05:392025年7月18日 (五) 05:39 SCG函数 & SSCG函数 （历史 | 编辑） [4,166字节] Apocalypse​（留言 | 贡献） （创建页面，内容为“'''SCG(SubCubic Graph number)函数'''和'''SSCG(Simple SubCubic Graph number)函数'''是两个由Harvey Friedman提出的图论函数。 == 定义 == === 图的嵌入 === 给定两个图<math>A</math>和<math>B</math>，我们称<math>A</math>能嵌入到<math>B</math>中，如果<math>B</math>能通过有限次以下操作得到<math>A</math>： * 删除一个度为0的点，即没有连接边的点。 * 删除一条边。 * 对于一条连接两个不同…”）

2025年7月17日 (星期四)

（最新 | 最旧） 查看（ | ）（20 | 50 | 100 | 250 | 500）
检索自“http://wiki.googology.top/index.php/特殊:新建页面”