Source author record

Corey Bacal Switzer

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

9works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

The Special Tree Number

Define the special tree number, denoted $\mathfrak{st}$ , to be the least size of a tree of height $ω_1$ which is neither special nor has a cofinal branch. This cardinal had previously been studied in the context of fragments of $\mathsf{MA}$ but in this paper we look at its relation to other, more typical, cardinal characteristics. Classical facts imply that $\aleph_1 \leq \mathfrak{st} \leq 2^{\aleph_0}$ , under Martin's Axiom $\mathfrak{st} = 2^{\aleph_0}$ and that $\mathfrak{st} = \aleph_1$ is consistent with $\mathsf{MA}({\rm Knaster}) + 2^{\aleph_0} = κ$ for any regular $κ$ thus the value of $\mathfrak{st}$ is not decided by $\mathsf{ZFC}$ and in fact can be strictly below essentially all well studied cardinal characteristics. We show that conversely it is consistent that $\mathfrak{st} = 2^{\aleph_0} = κ$ for any $κ$ of uncountable cofinality while ${\rm non}(\mathcal M) = \mathfrak{a} = \mathfrak{s} = \mathfrak{g} = \aleph_1$ . In particular $\mathfrak{st}$ is independent of the lefthand side of Cichoń's diagram, amongst other things. The proof involves an in depth study of the standard ccc forcing notion to specialize (wide) Aronszajn trees, which may be of independent interest.

preprint2022arXiv

Cohen Preservation and Independence

We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the independence number $\mathfrak{i}$ is strictly below $\mathfrak{c}$ , including iterations of Sacks forcing, Miller partition forcing, $h$ -perfect tree forcings, coding with perfect trees. Moreover, applying the theorem, we show that $\mathfrak{i} = \aleph_1$ in the Miller Lite model. An important aspect of the preservation theorem is the notion of "Cohen preservation", which we discuss in detail.

preprint2022arXiv

Destructibility and Axiomatizability of Kaufmann Models

A Kaufmann model is an $ω_1$ -like, recursively saturated, rather classless model of $\mathrm{PA}$ or $\mathrm{ZF}$ . Such models were constructed by Kaufmann under the combinatorial principle $\diamondsuit_{ω_1}$ and Shelah showed they exist in $\mathrm{ZFC}$ by an absoluteness argument. Kaufmann models are an important witness to the incompactness of $ω_1$ similar to Aronszajn trees. In this paper we look at some set theoretic issues related to this motivated by the seemingly naïve question of whether such a model can be "killed" by forcing without collapsing $ω_1$ . We show that the answer to this question is independent of $\mathrm{ZFC}$ and closely related to similar questions about Aronszajn trees. As an application of these methods we also show that it is independent of $\mathrm{ZFC}$ whether or not Kaufmann models can be axiomatized in the logic $L_{ω_1, ω} (Q)$ where $Q$ is the quantifier "there exists uncountably many".

preprint2022arXiv

Filters and Ideal Independence

A family $\mathscr{I} \subseteq [ω]^ω$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal I$ and $A \in \mathscr{I} \setminus \{X_i\}_{i\in n}$ , the set $A \setminus \bigcup_{i < n} X_i$ is infinite, is said to be ideal independent. An ideal independent family which is maximal under inclusion is said to be a maximal ideal independent family and the least cardinality of such family is denoted $\mathfrak{s}_{mm}$ . We show that $\mathfrak{u}\leq\mathfrak{s}_{mm}$ , which in particular establishes the independence of $\mathfrak{s}_{mm}$ and $\mathfrak{i}$ . Given an arbitrary set $C$ of uncountable cardinals, we show how to simultaneously adjoin via forcing maximal ideal independent families of cardinality $λ$ for each $λ\in C$ , thus establishing the consistency of $C\subseteq \hbox{spec}(\mathfrak{s}_{mm})$ . Assuming $\mathsf{CH}$ , we construct a maximal ideal independent family, which remains maximal after forcing with any proper, $^ωω$ -bounding, $p$ -point preserving forcing notion and evaluate $\mathfrak{s}_{mm}$ in several well studied forcing extensions.

preprint2022arXiv

Higher Dimensional Cardinal Characteristics for Sets of Functions II

We study the values of the higher dimensional cardinal characteristics for sets of functions $f:ω^ω\to ω^ω$ introduced by the second author. We prove that while the bounding numbers for these cardinals can be strictly less than the continuum, the dominating numbers cannot. We compute the bounding numbers for the higher dimensional relations in many well known models of $\neg\mathsf{CH}$ such as the Cohen, random and Sacks models and, as a byproduct show that, with possibly one exception, for the bounding numbers there are no $\mathsf{ZFC}$ relations between them beyond those in the higher dimensional Cichoń diagram. In the case of the dominating numbers we show that in fact they collapse in the sense that modding out by the ideal does not change their values. Moreover, they are closely related to the dominating numbers $\mathfrak{d}^λ_κ$ .

preprint2022arXiv

Projective well-orders and coanalytic witnesses

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable $P$ -points, definable tight MAD families and definable selective independent families. As a result, we obtain a model in which $\mathfrak{a}=\mathfrak{u}=\mathfrak{i}=\aleph_1<2^{\aleph_0}=\aleph_2$ , each of $\mathfrak{a}$ , $\mathfrak{u}$ , $\mathfrak{i}$ has a $Π^1_1$ witness and there is a $Δ^1_3$ well-order of the reals. Note that both the complexity of the witnesses of the above combinatorial cardinal characteristics, as well as the complexity of the well-order are optimal. In addition, we show that the existence of a $Δ^1_3$ well-order of the reals is consistent with $\mathfrak{c}=\aleph_2$ and each of the following: $\mathfrak{a}=\mathfrak{u}<\mathfrak{i}$ , $\mathfrak{a}=\mathfrak{i}<\mathfrak{u}$ , $\mathfrak{a}<\mathfrak{u}=\mathfrak{i}$ , where the smaller cardinal characteristics have co-analytic witnesses. Our methods allow the preservation of only sufficiently definable witnesses, which significantly differs from other preservation results of this type.

preprint2022arXiv

Selective Independence and $h$ -Perfect Tree Forcing Notions

Generalizing the proof for Sacks forcing, we show that the $h$ -perfect tree forcing notions introduced by Goldstern, Judah and Shelah preserve selective independent families even when iterated. As a result we obtain new proofs of the consistency of $\mathfrak{i} = \mathfrak{u} < \mathrm{non} (\mathcal N) = \mathrm{cof} (\mathcal N)$ and $\mathfrak{i} < \mathfrak{u} = \mathrm{non} (\mathcal N) = \mathrm{cof}( \mathcal N)$ as well as some related results.

preprint2020arXiv

Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH

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 consider alternative versions of the Cichoń diagram. First I show that for a wide variety of reduction concepts there is a Cichoń diagram for effective cardinal characteristics relativized to that reduction. As an application I investigate in detail the Cichoń diagram for degrees of constructibility relative to a fixed inner model of ZFC. Then I study generalizations of cardinal characteristics to the space of functions $f:ω^ω\to ω^ω$ . I prove that these cardinals can be organized into two diagrams analogous to the standard Cichoń diagram, prove several independence results and investigate the relation between these cardinals and the standard cardinal invariants on omega. In the second half of the thesis I look at forcing axioms compatible with CH. First I consider Jensen's subcomplete and subproper forcing. I generalize these notions to larger classes which are (apparently) much more nicely behaved structurally. I prove iteration and preservation theorems for both classes and use these to produce many new models of the subcomplete forcing axiom. Finally I deal with dee-complete forcing and its associated axiom DCFA. Extending a well-known result of Shelah, I show that if a tree of height $ω_1$ with no branch can be embedded into an $ω_1$ -tree, possibly with uncountable branches, then it can be specialized without adding reals. As a consequence I give a fleshed out proof that DCFA implies there are no Kurepa trees, even if CH fails.

preprint2020arXiv

Specializing Wide Aronszajn Trees without Adding Reals

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 and list some open problems.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Corey Bacal Switzer

Research overview

Is this your work?

9 publications

The Special Tree Number

Cohen Preservation and Independence

Destructibility and Axiomatizability of Kaufmann Models

Filters and Ideal Independence

Higher Dimensional Cardinal Characteristics for Sets of Functions II

Projective well-orders and coanalytic witnesses

Selective Independence and $h$ -Perfect Tree Forcing Notions

Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH

Specializing Wide Aronszajn Trees without Adding Reals

See the researcher in context

Building this map preview

Corey Bacal Switzer

Research overview

Is this your work?

9 publications

The Special Tree Number

Cohen Preservation and Independence

Destructibility and Axiomatizability of Kaufmann Models

Filters and Ideal Independence

Higher Dimensional Cardinal Characteristics for Sets of Functions II

Projective well-orders and coanalytic witnesses

Selective Independence and hhh-Perfect Tree Forcing Notions

Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH

Specializing Wide Aronszajn Trees without Adding Reals

See the researcher in context

Building this map preview

Selective Independence and $h$ -Perfect Tree Forcing Notions