数学联邦政治世界观
超小超大

数学 (2-1)

不可表达基数

对分划性质k→(k)²₂进行适当扩张定义的基数。

设对于任何划分f:[k]²→2,存在k的一驻子集X⊆k,满足|f"[x]²"|=1,则称k满足k→(驻子集)²₂。

若k>ω且满足k→(驻集)²₂,则称k是不可表达基数。

注意到测度为1集必是驻集,驻集的基数必与原来集合的基数相等,故可测基数必是不可表达基数,不可表达基数必是弱紧基数。

Kunen证明了不可表达基数是π¹₂不可描述的。

Jensen和Solovay指出,若k是不可表达基数,则不存在k库巴雷树;在可构造公理下,k是不可表达基数,当且仅当不存在k库巴雷树。

若k是不可表达基数,则不存在k阿龙扎杨树。

爱尔特希基数

任给序数α,记满足分划性质k→(α₂)^(<ω)的最小基数k为k(α),称为爱尔特希基数。

爱尔特希基数是随α变化而变化的基数。

Erdös与Hajnal证明:k(α)<k(α+1),即爱尔特希基数是随α严格上升的;若α是极限序数,则k(α)是强不可达基数。

利用这个基数,可以很方便的定义拉姆齐基数:爱尔特希基数函数k(α)的不动点即是拉姆齐基数,即满足k(η)=η的η是拉姆齐基数。

延森基数

若每个大小为k的可数语言模型ℳ都有大小为k的初等真子集模型ℬ,则称无穷基数k为延森基数。

等价条件刻画:对于每个划分F:[k]^(<ω)→k,都存在H⊆k,|H|=k,使[H]^(<ω)在F下的像不是整个k集。

Erdös和Hajnal证明了,没有一个阿列夫数是延森基数;Rowbottom证明了最小的延森基数是弱不可达的或有共尾ω;而Keisler和Rowbottom证明,若V=L,则不存在延森基数;Kunen证明存在这么个模型:在其中每个延森基数都是拉姆齐基数。

∏ᵐ_n公式

指高阶语言中合式公式的一种范式,在高阶语言中,若一公式的前束范式的较高阶量词在较低阶量词之前,则称此范式为完全前束范式。

若完全前束范式的最前面量词是m+1阶全称量词(或存在量词),并且m+1阶的量词共有n层,则称此公式为∏ᵐ_n公式。

∏ᵐ_n不可描述基数

若对于任何仅含一个二阶自由变元X的∏ᵐ_n公式Φ(X),当有α层结构〈V_α, ∈ | V_α, R〉满足Φ(R)时,即〈V_α, ∈ | V_α, R〉⊨ Φ(R)成立时,存在β<α,使β层子结构也满足Φ(R),即〈V_β, ∈ | V_β, R∩V_β〉⊨ Φ(R∩V_β),则称基数α为∏ᵐ_n不可描述基数。

k是不可达基数,当且仅当k是∏¹₀不可描述基数,又当且仅当k是∑¹₁不可描述基数;k是弱紧基数,当且仅当k是∏¹₁不可描述基数;若k是可测基数,当且仅当k是∏²₁不可描述基数。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

记忆站台 连载中
记忆站台
*Rewind*
一个没有人知晓的地方,却将所有命运与回忆分离、融合。它是所有人都会到达的站点,汇聚着世间的人情冷暖……但愿魂灵皆有归宿,也愿有情人终成眷属。
3.0万字6个月前
神印之灵魂契约 连载中
神印之灵魂契约
陈樱儿
灵魂圣女的秘密,世人对力量的渴望,灵魂魂灵的复苏……究竟要如何拯救神印大陆呢?
0.9万字6个月前
彼岸公主之血盼湖 连载中
彼岸公主之血盼湖
是沫然丫
女主角彼岸黎落,是彼岸公主,世人都称她为活阎王,在父亲的生日上,所有人都死了,刺客也来刺杀彼岸公主,最后,彼岸公主改名换姓,还换了脸,叫:慕......
7.2万字6个月前
《重塑之魔尊的女人》 连载中
《重塑之魔尊的女人》
二雨田
在满地尸体的阶梯上,一个黑衣男子抱着一个满身鲜血的红衣女子阿忱,我替你守住了对不起,我来晚了,对不起……甜虐第一次写文,写的不好多多指点
8.8万字6个月前
快穿我是反派的白月光 连载中
快穿我是反派的白月光
人间散落日光
(双洁,男主有时强有时弱但一定惨,女主前期弱后期会慢慢强)秦楒是九天上的神女也是战神,却因能力太强被众神推下诛神台沈蚀是魔界的魔尊,心悦秦楒......
6.0万字6个月前
异世魔仙 连载中
异世魔仙
二初弦
【男主前期原型是白敬亭。】她,无法修炼玄力的普通人?别开玩笑了,魔仙大人根本不打算修炼玄力。她是要自己开宗立派!她要用魔法横行这片大陆。“我......
8.2万字6个月前