Fall 2017

**CUNY Graduate Center**

**Room 6417**

**Fridays 10:00-11:45am**

**Organized by Victoria Gitman and Kameryn Williams**

**September 1**

**Joel David Hamkins**, CUNY

**The inner-model and ground-model reflection principles**

The *inner model reflection principle *asserts that whenever a statement $\varphi(a)$ in the first-order language of set theory is true in the set-theoretic universe $V$, then it is also true in a proper inner model $W\subsetneq V$. A stronger principle, the *ground-model* reflection principle, asserts that any such $\varphi(a)$ true in $V$ is also true in some nontrivial ground model of the universe with respect to set forcing. Both of these principles, expressing a form of width-reflection in constrast to the usual height-reflection, are equiconsistent with ZFC and an outright consequence of the existence of sufficient large cardinals, as well as a consequence (in lightface form) of the maximality principle. This is joint work with Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, myself and Jonas Reitz.

**September 8**

**Brent Cody**, Virginia Commonwealth University

**The weakly compact reflection principle and orders of weak compactness**

There is is a strong analogy between stationary sets and weakly compact sets. However, by a theorem of Kunen there are models in which non-weakly compact sets can become weakly compact after forcing, whereas nonstationary sets can never be forced to become stationary. Thus, proofs about the ideal of non-weakly compact sets are often substationally different than their counterparts for the nonstationary ideal. Many questions whose analogues have been answered for the nonstationary ideal remain open for the weakly compact ideal, and higher order $\Pi^1_n$-indescribability ideals. This talk will survey what is known in this area and will include a discussion of some recent results on the weakly compact reflection principle, which is a generalization of a certain stationary reflection principle. We say that the *weakly compact reflection principle* holds at $\kappa$ and write $\text{Refl}_{\text{wc}}(\kappa)$ if and only if $\kappa$ is a weakly compact cardinal and every weakly compact subset of $\kappa$ has a weakly compact proper initial segment. It is easy to see that the weakly compact reflection principle $\text{Refl}_{\text{wc}}(\kappa)$ implies that $\kappa$ is an $\omega$-weakly compact cardinal. We will prove the consistency of the existence of an $\omega$-weakly compact cardinal $\kappa$ at which the weakly compact reflection principle $\text{Refl}_{\text{wc}}(\kappa)$ fails, relative to the existence of an $\omega$-weakly compact cardinal; our proof uses a forcing which adds a non-reflecting weakly compact set and preserves all weakly compact cardinals. We will also discuss new joint work with Hiroshi Sakai, in which we prove that the weakly compact reflection principle can hold at the least $\omega$-weakly compact cardinal, and thus the weakly compact reflection principle need not imply that $\kappa$ is $(\omega+1)$-weakly compact. Along the way we generalize the well-known result which states that for regular $\kappa$, after $\kappa$-c.c. forcing the nonstationary ideal of the extension equals the ideal generated by the ground model nonstationary ideal. Our generalization states that if $\kappa$ is weakly compact then after a ‘typical’ Easton-support iteration of length $\kappa$ the weakly compact ideal of the extension equals the ideal generated by the ground model weakly compact ideal.

**September 15**

**No seminar** because of **Simon Thomas: the first 60 years** birthday conference.

**September 22**

**No seminar** because of CUNY holidays.

**September 29**

**No seminar** because of CUNY holidays.

**October 6**

**Paul Ellis**, Manhattanville College

**Cycle Reversions and Dichromatic Number in (Infinite) Tournaments**

The dichomatic number for a digraph is the least number of acyclic subgraphs needed to cover the graph. In 2005, Pierre Charbit showed that by iterating the operation {{select a directed cycle, and reverse the direction of each arc in it}} that the dichromatic number in any finite digraph can be lowered to 2. This is optimal, as a single directed cycle will always have dichromatic number 2. Recently, Daniel Soukup and I showed that the same is true for infinite tournaments of any cardinality, and in fact, we proved this by induction. Along the way to proving this, we uncovered some nice structural facts about infinite digraphs that we think are of more general interest. While this talk will be mostly graph theoretic in flavor, we did need to put on our set theory glasses to distinguish between the singular and regular cases in the induction. I should note that the question remains open for arbitrary inifinite digraphs, even those of countable cardinality.

**October 13**

**Kameryn Williams**, CUNY

**The exact strength of the class forcing theorem**

Gödel–Bernays set theory $\mathsf{GBC}$ proves that sufficiently nice (i.e. pretame) class forcings satisfy the forcing theorem—that is, these forcing notions $\mathbb P$ admit forcing relations $\Vdash_\mathbb{P}$ satisfying the recursive definition of the forcing relation. It follows that statements true in the corresponding forcing extensions are forced and forced statements are true. But there are class forcings for which having their forcing relation exceeds $\mathsf{GBC}$ in consistency strength. So $\mathsf{GBC}$ does not prove the forcing theorem for all class forcings. This is in contrast to the well-known case of set forcing, where $\mathsf{ZFC}$ proves the forcing theorem for all set forcings. On the other hand, stronger second-order set theories such as Kelley–Morse set theory $\mathsf{KM}$ prove the forcing theorem for all class forcings, providing an upper bound. What is the exact strength of the class forcing theorem?

I will show that, over $\mathsf{GBC}$, the forcing theorem for all class forcings is equivalent to $\mathsf{ETR}_\mathrm{Ord}$ the principle of elementary transfinite recursion for recursions of height $\mathrm{Ord}$. This is equivalent to the existence of $\mathrm{Ord}$-iterated truth predicates for first-order truth relative to any class parameter; which is in turn equivalent to the existence of truth predicates for the infinitary languages $\mathcal L_{\mathrm{Ord}, \omega}(\in, A)$ allowing any class parameter . This situates the class forcing theorem precisely in the hierarchy of theories between $\mathsf{GBC}$ and $\mathsf{KM}$.

This is joint work with Victoria Gitman, Joel Hamkins, Peter Holy, and Philipp Schlict.

**October 20**

**Victoria Gitman**, CUNY

**Filter games and Ramsey-like cardinals**

Peter Holy and Philipp Schlicht recently introduced a robust hierarchy of Ramsey-like cardinals $\kappa$ using games in which player I plays an increasing sequence of $\kappa$-models and player II responds by playing an increasing sequence of $M$-ultrafilters for some cardinal $\alpha\leq\kappa$-many steps, with player II winning if she is able to continue finding the required filters. The entire hierarchy sits below a measurable cardinal and intertwines with Ramsey cardinals, as well as the Ramsey-like cardinals I introduced earlier. The cardinals in the hierarchy can also be defined by the existence of the kinds of elementary embeddings characterizing Ramsey cardinals and other cardinals in that neighborhood. I will discuss results about the properties of the new hierarchy and the filter games due mainly to Holy and Schlicht, with a few of my own.

An extended abstract can be found here.

**October 27**

**No seminar** because of **MAMLS Logic Friday**.

**November 3**

**Juan Aguilera**, Vienna University of Technology

**TBA**

**November 10**

**Corey Switzer**, CUNY

**A Cichoń Diagram for Relative Degrees of Constructibility**

Following a line of research initiated by Brendle, Brooke-Taylor, Ng and Nies in the context of computability theory, we define and investigate a version of the Cicho\’n Diagram where, instead of considering the least cardinality of sets with prescribed combinatorial properties, we look at degrees of constructibility relative to a fixed inner model $W$ adding reals with prescribed properties. While many analogies hold with the classical theory, by focusing the attention to the reals, we obtain a theory that is somewhat simpler and more robust. Along the way we present some new results about forcings adding reals. Many questions remain open which we hope to discuss as well.

**November 17**

**Carolin Antos**, University of Konstanz

**TBA**

**December 1**

**Sandra Uhlenbrock**, Kurt Gödel Research Center

**TBA**

**December 8**

**Ruizhi Yang**, Fudan University

**TBA**