activity
20202023
most citedAlternative Cichoń Diagrams and Forcing Axioms Compatible with CH

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

collaborators
Showing math.LOShow all

6 papers · 1 filter

math.LO2025

A note on adding isomorphisms and the pseudointersection number

Corey Bacal Switzer

We prove that for every tower there are -dense and so that any ``reasonable" forcing notion -- an adjective that includes all known ones…

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 - or -reflecting in models which are neither models nor the constructible universe, focus…

math.LO2022

Selective Independence and -Perfect Tree Forcing Notions

Corey Bacal Switzer

Generalizing the proof for Sacks forcing, we show that the -perfect tree forcing notions introduced by Goldstern, Judah and Shelah preserve selective independent families even w…

math.LO2021

The Structure of -Maximal Cofinitary Groups

Vera Fischer, Corey Bacal Switzer

We study -maximal cofinitary groups for regular uncountable, . Revisiting earlier work of Kastermans and building upon a recently obtained higher analogue of Bell…

math.LO20201 cited

Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH

Corey Bacal Switzer

This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I cons…

math.LO2020

Specializing Wide Aronszajn Trees without Adding Reals

Corey Bacal Switzer

We show that under certain circumstances wide Aronszajn trees can be specialized iteratively without adding reals. We then use this fact to study forcing axioms compatible with CH…