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

特殊篇章玄宇宙计划原文序列部分章 (12-8)

concept of “subuniverse”, different criteria for maximal universes arise from(and are justified in light of) this principle.Here are two examples.

• Criterion of ordinal (or vertical) maximaliry:this criterion appeals to

maximality with respect to the ordinals, where models have fixed the

power-set operation. Let us define a universe w to be a lengthening of

v ifv is a (proper) rank initial segment ofw. is ordinal maximal iff it

16 2013171129 PM-

13 This corecet dewa/kasded wan 143.207.2.30 ce Tac.27 Aus 2013 1731.39 PM

All we swbject lo 15TK Tens and Catens

THE HYPERUNIVERSE PROGRAM 89

has a lengthening w such that for all first-order formulas φ and subsets A of ∪ belonging to ω, if φ(A ∩ ∪α ) holds in ∪ᵦ then e(A n va) holds in ua for some pair of ordinals α < β in ∪α (where ta denotes the collection of sets in e of rank less than α).

• Criterion of power set (or horizonial) maximaliry: this criterion appeals to maximality with respect to power set.where models have fixed ordi- nals. If a parameter-free sentence holds in some outer model of ∪ (i.e., in some universe w containing ∪ with the same ordinals as ∪), then it holds in some inner model of ∪ (i.e., in some universe to contained in ∪ with the same ordinals as ∪).

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

相关小说

宿主我啊被生子系统绑定了捏 连载中
宿主我啊被生子系统绑定了捏
要守约吖
林好好意外被生子系统绑定,为没有生育能力的男主或者男配生下孩子,只要完成布置的任务,就可以回到原来的世界,并可以实现一个愿望,为了能够和纸片......
6.9万字9个月前
斗龙:绝对服从 连载中
斗龙:绝对服从
洛梦千羽
“我可爱的小野猫,别这么抗拒我啊~”“滚啊!”“你是我的私有物…”这小野描挺好的,就是太不听话了,不过没关系,大不了调教一番…【疏愁书院】:......
0.3万字9个月前
若爱为王,我愿臣服 连载中
若爱为王,我愿臣服
上谛的莞筱
现代重生言情宠文《朕若不死尔等终究是臣》已开启…眼看成仙指日可待,谁曾想居然会渡劫失败?!这也就罢了,流光为了修炼大道早已摒弃七情六欲,大不......
51.6万字9个月前
把鬼王变成我家小可爱 连载中
把鬼王变成我家小可爱
日进斗金陈小仑
已签约!幽冥王为爱由男变女,携挚爱破三千世界惊天阴谋!神秘的幽冥大鬼王,派分身小久前往槐江山,寻找火种蓝桉,小久胡乱穿衣邋遢懒散但是煞是好看......
16.5万字8个月前
弃星仙路 连载中
弃星仙路
桃心是馨儿
她是一个废柴,却因为一块玉成了个天才,而原本的天才……
27.3万字8个月前
快穿:无cp只是因为不爱你 连载中
快穿:无cp只是因为不爱你
奇怪的用户增加了
无脑苏爽文,请大家一起来看看我老婆打天下的故事。——快穿之旅上,你最好听不见那些情话。留恋小世界不反回的后果所有人都知道!如果做好了准备,那......
5.4万字8个月前