打开/关闭搜索
搜索
打开/关闭菜单
266
76
76
3055
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
查看“︁哈基米基数”︁的源代码
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
←
哈基米基数
因为以下原因，您没有权限编辑该页面：
您请求的操作仅限属于这些用户组的用户执行：
用户
、
评审员
您可以查看和复制此页面的源代码。
哈基米基数是虚妄之幻在2026年提出的一个大基数概念，并随后拥有了其与ZFC的相对一致性证明。 我们依照以下定义基数k上的k共尾完备滤子：一个基数k上的滤子是k-共尾完备的，当且仅当：k是可数共尾的且该滤子是一个σ-完备滤子，或者k是不可数共尾的且对于任意a＜cf(k)，集族{Xb:b∈a}如果是滤子F的子集，那么它的交集属于F 我们称一个基数k是哈基米基数，当且仅当，k上存在一个k共尾完备非主超滤且存在初等嵌入j：L_k→L_2^k (ZFC+存在可测基数)引理：存在哈基米基数 证明如下：我们引用以下定理：如果存在ramsey基数，那么如果k和λ是不可数基数，则(Lk,∈)是(Lλ,∈)的初等子模型 由于如果存在可测基数，那么存在一个ramsey基数。然后平凡的，可测基数上存在一个k共尾完备非主超滤，因为可测基数k与2^k都是不可数基数，显然依照该引理，k是一个哈基米基数，得证。 目前猜测其一致性上界可以被削弱到ZFC+存在一个ramsey基数，但尚未给出完整证明... [[分类:集合论相关]]
返回
哈基米基数
。
查看“︁哈基米基数”︁的源代码
来自Googology Wiki
