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

特殊篇章玄宇宙计划原文序列部分章 (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),接着再看更方便。

相关小说

修仙世界之安迷修 连载中
修仙世界之安迷修
不闻不问的我
这人很懒,啥都没写。
1.1万字8个月前
亦时空恋 连载中
亦时空恋
筱夜寂雨
人还是要有始有终。既然决定开始就不能轻易放弃。亦时空恋精明强势曾经小杀手X痴情病娇未来大魔王一次死亡重启一个世界,一次失忆更新一个人生,一个......
26.2万字8个月前
83号疯人院 连载中
83号疯人院
酌羽
湫白在经历一场车祸后,睁眼到了83号疯人院,遇到了各色院友,昱宁说院里每个人都有点小癖好,然后,湫白看到:牧昭在厨房里徒手熔金;屿白的腿变成......
6.6万字8个月前
杂闻录之无奇不有2 连载中
杂闻录之无奇不有2
若雪……
来自树屋的故事我,白晓晓,一个打工仔意外得到一本游戏早晨,是忙里忙外,干劲满满的女仆夜晚,是贯穿游戏剧本的……女配角?“什么啊,怎么又是你”......
10.7万字8个月前
熊出没之狼人日记 连载中
熊出没之狼人日记
铁蛋讲故事
来自熊出没宇宙的狼狼小娇妻和她身为苦逼学牲党的cp在这个残酷的现实世界里没羞没臊地生活在一起,以机智化解难题,以恋爱脑巩固感情,在生活中不断......
4.7万字8个月前
鱼猫馆 连载中
鱼猫馆
贪吃的鱼猫
自己喜欢的图分享一下!有时还会有些文案!再有……?
0.2万字8个月前