Archive for Mathematical Logic 60 (3):495-523 (2021)

Continuing, we study the Strong Downward Löwenheim–Skolem Theorems of the stationary logic and their variations. In Fuchino et al. it has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters \. This SDLS is shown to be equivalent to an internal version of the Diagonal Reflection Principle down to an internally stationary set of size \. We also consider a version of the stationary logic and show that the SDLS for this logic in internal interpretation \\) for reflection down to \ is consistent under the assumption of the consistency of ZFC \ “the existence of a supercompact cardinal” and this SDLS implies that the continuum is 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 \ or \ 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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s00153-020-00751-6
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,848
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On the Existence of Skinny Stationary Subsets.Yo Matsubara, Hiroshi Sakai & Toshimichi Usuba - 2019 - Annals of Pure and Applied Logic 170 (5):539-557.
Laver Sequences for Extendible and Super-Almost-Huge Cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
Laver Sequences for Extendible and Super-Almost-Huge Cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Generic Compactness Reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.
Indestructibility and Stationary Reflection.Arthur W. Apter - 2009 - Mathematical Logic Quarterly 55 (3):228-236.
Club-Guessing, Stationary Reflection, and Coloring Theorems.Todd Eisworth - 2010 - Annals of Pure and Applied Logic 161 (10):1216-1243.
Stationary Cardinals.Wenzhi Sun - 1993 - Archive for Mathematical Logic 32 (6):429-442.
Local Saturation of the Non-Stationary Ideal Over Pκλ.Toshimichi Usuba - 2007 - Annals of Pure and Applied Logic 149 (1-3):100-123.
Semistationary and Stationary Reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
The Downward Transfer of Elementary Satisfiability of Partition Logics.Y. Chen & E. Shen - 2000 - Mathematical Logic Quarterly 46 (4):477-488.
There is No Recursive Link Between the K-Size of a Model and its Cardinality.R. Barker - 2002 - Annals of Pure and Applied Logic 118 (3):235-247.


Added to PP index

Total views
8 ( #959,889 of 2,432,825 )

Recent downloads (6 months)
8 ( #83,750 of 2,432,825 )

How can I increase my downloads?


My notes