Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum

Archive for Mathematical Logic(2021)

引用 1|浏览2
暂无评分
摘要
Continuing (Fuchino et al. in Arch Math Log, 2020. https://doi.org/10.1007/s00153-020-00730-x), we study the Strong Downward Löwenheim–Skolem Theorems (SDLSs) of the stationary logic and their variations. In Fuchino et al. (2020) it has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters (ℒ^ℵ _0_stat,< ℵ _2) down to < ℵ _2 is equivalent to the conjunction of CH and Cox’s Diagonal Reflection Principle for internally clubness. We show that the SDLS for the stationary logic without weak second-order parameters ^-(ℒ^ℵ _0_stat,< 2^ℵ _0) down to < 2^ℵ _0 implies that the size of the continuum is ℵ _2 . In contrast, an internal interpretation of the stationary logic can satisfy the SDLS down to < 2^ℵ _0 under the continuum being of size >ℵ _2 . This SDLS is shown to be equivalent to an internal version of the Diagonal Reflection Principle down to an internally stationary set of size < 2^ℵ _0 . We also consider a version of the stationary logic and show that the SDLS for this logic in internal interpretation ^int_+(ℒ^PKL_stat,< 2^ℵ _0) for reflection down to < 2^ℵ _0 is consistent under the assumption of the consistency of ZFC + “the existence of a supercompact cardinal” and this SDLS implies that the continuum is (at least) weakly Mahlo. These three “axioms” in terms of SDLS are consequences of three instances of a strengthening of generic supercompactness which we call Laver-generic supercompactness. Existence of a Laver-generic supercompact cardinal in each of these three instances also fixes the cardinality of the continuum to be ℵ _1 or ℵ _2 or very large respectively. We also show that the existence of one of these generic large cardinals implies the “ ++ ” version of the corresponding forcing axiom.
更多
查看译文
关键词
Strong downward Löwenheim Skolem theorem,Stationary logic,Generically large cardinals,Mixed support iteration,Laver function,Superhuge cardinal,Continuum problem
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要