C. Switzer

activity

20182025

most citedIteration theorems for subversions of forcing classes

4 citations · 9 across the 22 of their papers we have counts for

collaborators

Showing 2023Show all

4 papers · 1 filter

math.LO2023

Reflection Properties of Ordinals in Generic Extensions

Juan P. Aguilera, Corey Bacal Switzer

We study the question of when a given countable ordinal $α$ is $Σ_{n}^{1}$ - or $Π_{n}^{1}$ -reflecting in models which are neither $PD$ models nor the constructible universe, focus…

math.LO2023

Separating Subversion Forcing Axioms

Hiroshi Sakai, Corey Bacal Switzer

We study a family of variants of Jensen's\emph{subcomplete forcing axiom}, $SCFA$ and \emph{subproper forcing axiom}, $SubPFA$ . Using these we develop a general t…

math.LO2023

Generic Selective Independent Families

Vera Fischer, Corey Bacal Switzer

We prove that the generic maximal independent family obtained by iteratively forcing with the Mathias forcing relative to diagonalization filters is densely maximal. Moreover, by c…

math.LO2023

Filters, ideal independence and ideal Mrówka spaces

Serhii Bardyla, Jonathan Cancino-Manríquez, Vera Fischer +1

A family $A \subseteq [ω]^{ω}$ such that for all finite ${X_{i}}_{i \in n} \subseteq A$ and $A \in A ∖ {X_{i}}_{i \in n}$ , the set $A \setminus \big…