Previously I covered the core model induction up to showing that all sets of reals in are determined. In other words, it reached a model containing all the reals satisfying and , the Axiom of Determinacy. In terms of large cardinal theories, this is equiconsistent with the theory and the existence of infinitely many Woodin cardinals. I’ll here talk about how to push this even further, getting close to reaching the current state of the art.

# Author: Dan Saattrup Nielsen

# Characterisation of Woodins in mice

I’ve previously mentioned an interesting characterisation of Woodin cardinals, that they are more or less characterised by the fact that we can do genericity iterations with them, i.e., that we can “capture reals” when Woodin cardinals are present. This is an exercise in the core model induction book, and Stefan Mesken recently found a way to solve this (see his solution here), which I’ll be presenting here.

# Git repositories

I’ve recently switched to Git, which among other things makes it possible for me to share most of my set theory documents (like theses, projects, notes and diagrams). This of course includes the pdfs, but also the tex files. So if there’s anything you might use, feel free to grab it. Also, if you spot any mistakes and/or typos, you can fix them if you want and make a pull request. Exciting!

Here’s a link to all my public repositories, which includes the following:

- Diagrams, containing all the diagrams in my diagrams section on this website and more;
- BSc-thesis, containing my bachelor’s thesis on the constructible universe L;
- Notes-and-talks, containing a lot of notes I’ve written and talks I’ve given over the years;
- Determinacy-project, containing a project I did during my master’s on determinacy;
- MSc-thesis, containing my master’s thesis on inner model theory;
- Basic-tex-template, which I use whenever I want to write a new paper or note.

Hope you find it useful.

# Talk: Level-by-level virtual large cardinals

I am giving an invited talk at the set theory seminar at the City University of New York, on Friday 15 February. I will be talking about *virtual large cardinals*, which grew out of my previous work on Ramsey-like cardinals. Here’s an abstract:

“A virtual large cardinal is (usually) the critical point of a generic elementary embedding from a rank-initial segment of the universe into a transitive , as introduced by Gitman and Schindler (2018). A notable feature is that all virtual large cardinals are consistent with , and they’ve proven useful in characterising several properties in descriptive set theory. We’ll work with the virtually -measurable, -strong and -supercompact cardinals, where the in particular indicates that the generic embeddings have as domain, and investigate how these level-by-level virtual large cardinals relate both to each other and to the existence of winning strategies in certain games. This is work in progress and joint with Philipp Schlicht.”

# Concrete and abstract

Abstraction is so common in mathematics that we usually don’t bat an eye when jumping between different levels of abstraction. There are many cases in which such an abstraction makes concepts clearer, as it cuts away all unneccesary bits of information, and also many cases in which something more concrete makes things easier to work with, as we have more information about how our objects of study *actually look like*. I’ll give a few well-known examples of this phenomenon from mathematics, and argue that it occurs in several (perhaps subtle) places in set theory as well.

# Shoenfield absoluteness and choice

Absoluteness of wellfoundedness and Shoenfield absoluteness are two absoluteness results in set theory that are both used incredibly often. But what if we want to apply the result to absoluteness between arbitrary models and , rather than absoluteness between and ? It turns out that our models have to satisfy dependent choice in both absoluteness results, and in Shoenfield absoluteness we have to ensure that the models are of “similar height”.

# Separating atoms

Some of the first properties we learn about forcing notions are the notions of being *atomless* and being *separative*. Usually any kind of analysis of these terms are left out, as “all forcings we care about are atomless and separative”, so this post will be dedicated to taking a slightly closer look at these properties.