手机浏览器扫描二维码访问
绝对无穷Ω:
理想的绝对无穷可以看作宇宙V的基数,在新基础集合论Nf中对绝对无穷,施加幂集反而会让他从绝对无穷中跌落,不要与序数中的第一不可序列数搞混
格罗滕迪克宇宙:
让我们把格罗滕迪克宇宙的定义说清楚吧。
ZFc宇宙v的子类u是格罗登迪克宇宙:
1.如果x∈u,y∈x,则y∈u(关于∈的推移性)
2.如果x,y∈U,则{x,y}∈U(关于配对的结构是闭合的)
3.如果x∈U,则pow(x)∈u(关于幂集合是闭的)
4.I∈U,f:I→U,则u(f)∈U(关于族的合并是封闭的)
5.U∈V(V的元素)
6.w∈U(具有无穷集)u(f)是?i∈If(i)的缩写。
w是整个自然数的集合。如果去掉第五个条件U∈V,v本身就是格罗滕迪克宇宙。
但是,格罗滕迪克宇宙“不过大”是个迷,所以小〈smallness〉的条件有U∈V。
low〈ZhenLinlow〉把去掉最后w∈U的东西称为预宇宙〈pre-universe〉。空类(空集合)成为预宇宙(虽然是虚的例子)。也可以制作只包含有限集合的预宇宙。也可是,更多出现与代数几何,范畴有关的领域里。
不过也仅仅是等价于强不可达性大基数的存在(即一个无限基数k会使得Vk?ZFc.它可以断言con(ZFc)
复宇宙:
假没m是一个由ZFc模型组成的非空类:我们说m是一个复宇宙,当且仅当它满足:
1可数化公理
2伪良基公理
3可实现公理
4力迫扩张公理
5嵌入回溯公理
对于任意集合论宇宙V若w为集合论的一个模型,同时在V中作为诠释或者说是可定义的,那么w可同样作为一个集合论宇宙。对于任意集合论宇宙V那么任意位于V内的力迫p,存在一个力迫扩张V[G]其中G?p为V-generico对于每一个集合论宇宙存在一个更高的宇宙w且存在一个序数θ满足V?wθ?w对于每一个集合论宇宙V,从另一个更好的集合论宇宙w的角度来说是可列的。从另一个更好的集合论宇宙的角度来看,每一个集合论宇宙V都是ill-founded的简单说,存在一个集合论宇宙V,并且对任意集合论宇宙m,存在一个集合论宇宙w以及w中的一个ZFc模型w,使的在w看来,m是一个由可数的非良基ZFc模型,那V便是复宇宙。在复宇宙中,没有哪个集合论宇宙是特别的,任何集合论宇宙都存在着更好的宇宙能看到前者的局限性。
我靠种田称霸星际 候鸟之歌 娇女求爱 综影视开局捡了一个神搭档 黑道颠峰 不期而遇的温暖 冥主 权利之上【NP】 [综漫同人]万火回一 穿书了,人设绿茶白莲花? 林慢慢的修仙记 小说大乱斗 无限世界亿万倍增幅 夜行 紫炎神皇 朕见臣妻多妩媚 不懂爱,愿意陪你。 迷糊厨娘 ABO-过街老鼠 傲龙炙心
一只被小心呵护的人鱼,一位冷面凶悍霸道傲娇的军官大人。那天他领养了一只人鱼那天他被一个人领养ampamp我想要被人养着,不饿肚子就好。ampamp人鱼这么说着,白色的大眼睛盯着面前的高大男人。ampamp呵,是吗。好,我养。ampamp黑衣男人冷酷的说着,看不透内心的想法。...
谁是废材?一朝魂穿,各种逆天开挂挡都挡不住。一群师兄美男宠自家师妹无节操,捅破天逗比师父来顶。说好的威风凛凛的父皇,端庄贤淑的母后,竟然是女儿奴?看俊美不似凡人的冰山魔尊如何用宠溺计让某人彻底沦陷。夫君,给妃笑一个。一人携手,相拥永相随。...
一代天才,遭人妒忌,被人陷害,几近身陨。为了复仇,他毅然行走,最终走进死域。在这个暗无天日恶徒横行的死域里,他凭借着坚毅的恒心和不要命的决心,在神秘老者的帮助下,成功蜕变,一举统一死域。他带着所有人的期望成为了第一个走出去的人。校园,一个青春萌动的世界青春,一个洋溢年华的季节。青春校园,故事演绎其中,记忆牢记心头。...
天武大陆,武风鼎盛,武道宗门万千。且看钟云,如何凭借着能穿梭各个武侠世界的能力,成为武侠第一门徒,在这片大陆上掀起一阵新的浪潮。(交流群,181793546多多指点。)本书原名武侠世界之武当门徒,响应各位读者大大的意见,改了名字,若有不便,还请见谅。...
得罪了大学里面的霸王姐姐,只好弃学而逃。刚回家,家族老头却交给他半本拳谱,他才知道自己居然是皇族后裔,而家族隐藏着巨大秘密为了完成家族使命,他混入现代化大都市,人生由此曲折离奇。而这一切居然是一个跟随他的灵魂捣的鬼...
本书简介重生后的云炎想要忘记,忘记过去的一切,重新开始新的生活,可是有些东西印在心里,并不是说忘就能忘的。而事情却在他遇到这个大陆上的一个神秘的男人的那一刻起,开始有了变化。公告接到通知,本文将会在11月29号入V,开时候希望大家能够多多支持,非常谢谢!O∩∩ampgt...