18 citations · 38 across the 14 of their papers we have counts for
Showing 2023 · math.LOShow all
2 papers · 2 filters
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…