Showing 2023Show all
2 papers · 1 filter
math.LO2023
Separating Subversion Forcing Axioms
Hiroshi Sakai, Corey Bacal Switzer
We study a family of variants of Jensen's\emph{subcomplete forcing axiom}, and \emph{subproper forcing axiom}, . Using these we develop a general t…
math.LO2023
Weakly extendible cardinals and compactness of extended logics
Sakaé Fuchino, Hiroshi Sakai
We introduce the notion of weakly extendible cardinals and show that these cardinals are characterized in terms of weak compactness of second order logic. The consistency strength…