**Note: From Determinacy to Woodins – ***download*

We give the main ideas in the proof of being Woodin in assuming , due to Woodin. We first give a full proof of Solovay’s theorem of the measurability of in , then sketch how the same ideas generalises to and lastly show how (essentially) the same techniques are used to show Woodin’s theorem. This is following Koellner and Woodin’s chapter “Large cardinals from determinacy” in the handbook.

**Note: Hahn-Banach sans Zorn – ***download*

We prove the Hahn-Banach Theorem using the ultrafilter lemma.

**Note: From Woodins to Determinacy – ***download*

We provide a proof of from a limit of Woodins with a measurable above, based on the approach in Larson’s book “The Stationary Tower”.

**Note: -absoluteness – ***download*

This note is a write-up of the theorem independently shown by Woodin and Steel that if there exists a measurable Woodin then -sentences are forcing absolute for -small forcing notions in which holds. If we improve the assumption of a measurable Woodin to the existence of a model with a countable-in-V measurable Woodin and which is iterable in all forcing extensions, the result holds for all set-sized forcing notions. The former result is proven using Woodin’s stationary tower forcing and the latter using Woodin’s genericity iterations.

**Note: Jónsson covering below a Woodin – ***download*

We modify Welch’ proof of the weak covering lemma at Jónsson cardinals below a Woodin cardinal to the measurable-free context from Jensen and Steel’s “K without the measurable”.

**MSc thesis: Inner model theory –** *download*

We introduce the field of inner model theory, starting from extenders and potential premice. We prove the basic properties of mice such as comparison, the Dodd-Jensen lemma, condensation and solidity. We construct mice via the Jensen-Steel method of using robust K c -constructions and then use these mice to construct the core model K under the assumption that there is no proper class model with a Woodin cardinal – this is proven without the assumption that there exists a measurable cardinal in V . This construction of K is due to Steel and Jensen in their 2013 article “K without the measurable”.

**Project: Determinacy – ***download*

In this project we introduce the notions of perfect information games in a set-theoretic context, from where we’ll analyse both the consequences of the determinacy of games as well as showing large classes of games are determined. More precisely, we’ll show that determinacy of games over the reals implies that every subset of the reals is Lebesgue measurable and has both the Baire and perfect set property (thereby contradicting the axiom of choice). Next, Martin’s result on Borel determinacy will be presented, as well as his proof of analytic determinacy from the existence of a Ramsey cardinal. Lastly, we’ll present a certain kind of stochastic games (that is, games involving chance) called Blackwell games, and present Martin’s proof that determinacy of perfect information games imply the determinacy of Blackwell games.

**BSc thesis: Gödel’s constructible universe – ***download*

This is an introduction to constructibility theory. We start off by constructing Gödel’s constructible universe L rigorously, in which we also correct Devlin’s errors in his book in this regard, by implementing a solution proven by Mathias; the details of this is put in the appendix. After having shown basic properties of L, we show that both Global Choice and the Generalized Continuum Hypothesis hold in L, implying that Con(ZF) ⇒ Con(ZFC + GCH). We then dedicate a chapter to giving a glimpse of the rich combinatorial structure of L, proving the negation of Suslins Hypothesis in L via. the use of the combinatorial principle ♦. In the last chapter we prove Scott’s Theorem, stating that there exist no measurable cardinals in L.