汪峰在吧 关注:246,960贴子:19,235,731
  • 8回复贴,共1

关于汪吧新标被顶替一事有不同意的吗?

只看楼主收藏回复

构造的人们经过反复考量,最终确立了一个全新的构造标准,希望它能够改变构造的现状。
幻标/新构造标/一致性标
前提要求:构造全篇得构成一个一致的公理体系。
给定按一致性强度由弱至强排序的大基数序列使得,其中每一项都有定义且强度高者有定义且证明自身强于强度弱者。
给出的大基数定义必须是一个不同于原定义的等价定义,并具有对其的自身理解(传统文学作品与网文小说可以放宽标准,不需要一定是不同于原定义的等价定义)
(举例:为了防止有人利用莱茵哈特等基数逃课,在定义他们时需要加上自身对“非平凡嵌入”本身的理解)
在这个标准下,“构造”的形式被主要限定为以下部分(需要满足至少2个形式)
1.对公理系统的选择与对大基数公理的定义。
2.对大基数公理强大之处的具体刻画与理解(例如说明/证明为什么它具有如此大的一致性)
3.对于整个公理系统自身在设定中的作用,例如用来去描述世界的极大性,或是描述这个世界自身层次的复杂结构(类比大基数公理影响实数集结构)等...
如发现某构造设定存在抄袭的嫌疑,并能够找到被抄袭的的盒子/设定/论文...那么就宣称这篇构造无效化,量级归零。
如果构造内容出现了不一致,那么整篇构造量级清零。
三线标准:与第一个不可数序数等势的基数(ZF下)
强三线:第一个世界基数
二线标准:ZF+IC+GCH
二线中层:ZF+弱紧致基数
强二线:ZF+MC(可测)(要求自身无矛盾,例如没有可测+V=L这种东西)
强二线巅峰:ZF+强基数
一线:ZF+woodin基数
强一线:ZF+超紧致基数
一线巅峰:ZF+巨大基数
超一线:ZF+n-巨大基数
论天下:ZF+I3公理
l0基数:存在一个非平凡初等嵌入j: L(Vᵨ₊₁)→L(Vᵨ₊₁)且临界点小于ρ,这里L表示相对可构造宇宙,是一种基于集合构造出的特定集合模型,V表示冯·诺依曼宇宙V,包含了“所有”集合的一个“大全集”概念,ρ是任意基数
I1基数:存在一个非平凡基本嵌入j: Vᵨ₊₁→Vᵨ₊₁,ρ是任意基数
I2基数:存在一个非平凡初等嵌入j: V →M其中Vρ⊆M且ρ是j的临界点之上的第一个不动点,这意味着j(ρ)=ρ,嵌入是非平凡的,意味着至少有一个序数被移动了,即它的像不等于它本身,临界点是基本嵌入的最小序数
I3基数:存在一个非平凡初等嵌入j:Vᵨ→Vᵨ,ρ是任意基数,这里的"非平凡"意味着嵌入不是恒等映射,即存至少一个序数α<λ使得j(α)=α
论天中:ZF+I0公理/伊卡洛斯基数(I0也是一类伊卡洛斯基数)伊卡洛斯基数存在一个初等嵌入j:L(V_λ+1,lcarus)→L(V_λ+1,lcarus),为了不破坏L的刚性并让j是非恒等的,则其临界点必须低于λ,lcarus表示伊卡洛斯集
伊卡洛斯集的条件:
称X是伊卡洛斯集,当且仅当V_λ+2是lcarus与Y的不交并(即V_λ+2=lcarus∪Y∧lcarus∩Y=∅),以至于任意lcarus∈Y,j:(V_λ+1,lcarus∪{Y})→(V_λ+1,lcarus∪{Y})都可应用库能的证明,并且j:(V_λ+1,lcarus)→(V_λ+1,lcarus)就是j:V_λ+2→V_λ+2之下与选择公理兼容的一致性最强的嵌入形式
特定的不等式关系:令lcarus⊂V_λ+1为伊卡洛斯集,那么存在Y∈L(lcarus,V_λ+1)∩V_λ+2使得θ_L(lcarus,V_λ+1)<θ_L(\,V_λ+1),并且L(Y,V_λ+1)^♯存在以及L(Y,V_λ+1)^♯∈L(lcarus,V_λ+1)


IP属地:江苏来自iPhone客户端1楼2025-01-23 19:11回复
    论天上:ZF+莱茵哈特基数
    莱因哈特基数
    莱因哈特基数Reinhardt基数是非平凡基本嵌入的临界点j : V→V的V进入自身。
    这个定义明确地引用了适当的类j.
    在标准ZF中,类的形式为{x|Φ(x,a)}对于某些集合a和公式Φ.但是在 Suzuki中表明没有这样的类是基本嵌入j :V→V.还2有其他已知不一致的Reinhardt基数公式。一是新增功能符号j用ZF的语言,连同公理说明j是的基本嵌入V,以及所有涉及的公式的分离和收集公理j.另一种是使用类理论,如NBG或KM,它们承认在上述意义上不需要定义的类。又或是有一个公理主张存在被称为Reinhardt基数的基数。
    这个基数公理在普通集合论的公理系统ZFC中不能很好地表达,例如,需要考虑可以把真正的类作为理论对象来处理的ZFC的扩展,但是基数κ为reinhardd 在某个集合论的universe对自己的初等映射j中,存在κ为j(κ)≠κ的最小顺序数的情况。
    这个基数的概念引入后不久,这样的基数的存在与集合论的扩展相矛盾(即, ZFC的这样的扩张和主张Reinhardt基数存在的公理相结合的体系是矛盾的,或者ZFC的这样的扩张可以作为定理证明Reinhardt基数的不存在)。
    为了能够记述在以下叙述的Reinhardt基数的定义中j的存在主张,需要那样的扩展。对于某语言l,从L-结构m到L-结构n的映射f是初等的( elementary )是指,对于所有m的要素的组a0,...,an 1和所有谓语逻辑中的L-逻辑式( x0,...,xn1 ),m = ( elementary )


    IP属地:江苏来自iPhone客户端2楼2025-01-23 19:12
    回复
      论天最上:ZF+伯克利基数
      原始伯克利基数:一个基数κ被称为原始伯克利基数,如果对于任何包含基数κ的传递集M,都存在一个非平凡初等嵌入j:M<M使得crit(j)<κ
      α-原伯克利基数:
      一个基数被称为α-原始伯克利基数,当且仅当对于任何包含κ的传递集M,都存在一个非平凡初等嵌入j:M<M使得α<j,crit(j)<κ,以至于如果δ≥κ,那么δ也是α-原始伯克利基数,最小的原始伯克利基数被称为δ_α,即δ=sup{κ丨κ是α–原伯克利基数}
      伯克利基数
      一个基数κ是一个伯克利基数,如果对于任何传递集M,满足基数κ∈M并且对于任何序数α<κ与包含伯克利基数κ的任意传递集M(M^<κ⊆M,任意α∈M∩Ord)都存在一个非平凡初等嵌入j:M<M,使得α<crit(j)<κ
      如果κ是最小的伯克利基数,那么存在 φ<κ使得(Vᵩ,Vᵩ₊₁)⊨ZF₂+“存在一个由j见证的莱因哈特基数和一个ω–巨大基数位于κ_ω(j)'之上”
      对于每一个α是伯克利基数,因此δ_α是位于α之上的最小的伯克利基数,最小的原伯克利基数δ₀也是最小的伯克利基数,如果κ是伯克利基数的极限,那么κ不在δ_α之中
      无界闭伯克利基数:一个基数κ被称为无界闭伯克利基数,当且仅当对于每一个包含基数κ的传递集M,以及对于κ中的每一个无界闭集C,都存在一个非平凡的初等嵌入 j:M<M ,使得 j 的临界点crit(j)∈C,每一个无界闭伯克利基数都是完全莱因哈特基数,因为任意无界闭伯克利基数满足“存在α-超级莱因哈特基数”若κ是无界闭伯克利基数,取crit(j)<δ_α的,可知j^ω(crit(j)\right)=η<δ_α,再取η<crit(j⁺)<δ_α的,可知crit(j⁺)之下存在无界多的不可达基数
      极限无界闭伯克利基数:称κ为无界闭伯克利基数,如果κ是正则的,并且对于所有无界闭子集C⊆κ以及所有包含κ的传递集 M,都存在j∈ε(M)使得j的临界点在C中
      如果κ是一个无界闭伯克利基数,并且是伯克利基数的极限,那么称一个基数κ为极限无界闭伯克利基数,极限无界闭伯克利基数强行弥合两种无法确定一致性关系的基数的鸿沟
      如果κ是极限无界闭伯克利基数,那么(Vᵩ,Vᵩ₊₁)⊨“存在一个莱因哈特基数”,这样的基数的类是驻定的(脱离ZF集合论的情况下)


      IP属地:江苏来自iPhone客户端3楼2025-01-23 19:12
      回复


        IP属地:江苏来自iPhone客户端4楼2025-01-23 19:15
        回复


          IP属地:江苏来自iPhone客户端5楼2025-01-23 19:17
          回复
            汪吧不论外


            IP属地:河南来自Android客户端6楼2025-01-23 20:46
            回复
              没关系


              IP属地:浙江来自Android客户端7楼2025-01-25 20:37
              回复
                3


                IP属地:四川来自Android客户端8楼2025-01-31 11:56
                回复
                  这是论外标准,和汪吧论内没有关系


                  IP属地:云南来自Android客户端9楼2025-01-31 12:06
                  回复