Related papers: On the prewellordering associated to the dircted s…

We investigate Steel's conjecture in 'The Core Model Iterability Problem', that if $W$ and $R$ are $\Omega+1$-iterable, $1$-small weasels, then $W\leq^{*}R$ iff there is a club $C\subset\Omega$ such that for all $\alpha\in C$, if $\alpha$…

Suppose there is a Reinhardt cardinal. Then (1) $M_n(X)$ exists and is fully iterable (above $X$) for every transitive set $X$ and every $n<\omega$ (here $M_n(X)$ denotes the canonical minimal proper class inner model containing $X$ and…

The determinacy of lightface $\Delta^1_{2n+2}$ and boldface $\boldsymbol{\Pi}^1_{2n+1}$ sets implies the existence of an $(\omega, \omega_1)$-iterable $M_{2n+1}^{\#}$.

We identify a particular mouse, $M^{\text{ld}}$, the minimal ladder mouse, that sits in the mouse order just past $M_n^{\sharp}$ for all $n$, and we show that $\mathbb{R}\cap M^{\text{ld}} = Q_{\omega+1}$, the set of reals that are…

Assume ZF + AD + $V=L(\mathbb{R})$. We prove some "mouse set" theorems, for definability over $J_\alpha(\mathbb{R})$ where $[\alpha,\alpha]$ is a projective-like gap (of $L(\mathbb{R})$) and $\alpha$ is either a successor ordinal or has…

We identify a premouse inner model $L[\mathbb{E}]$, such that for any coarsely iterable background universe $R$ modelling $\mathrm{ZFC}$, $L[\mathbb{E}]^R$ is a proper class premouse of $R$ inheriting all strong and Woodin cardinals from…

We give a construction of scales (in the descriptive set theoretic sense) directly from mouse existence hypotheses, without using any determinacy arguments. The construction is related to the Martin-Solovay construction for scales on…

The middle levels problem is to find a Hamilton cycle in the middle levels, M_{2k+1}, of the Hasse diagram of B_{2k+1} (the partially ordered set of subsets of a 2k+1-element set ordered by inclusion). Previously, the best result was that…

This thesis analyses extenders in fine structural mice. Kunen showed that in the inner model for one measurable cardinal, there is a unique measure. This result is generalized, in various ways, to mice below a superstrong cardinal. The…

Any model of ZFC + GCH has a generic extension (made with a poset of size aleph_2) in which the following hold: MA + 2^{aleph_0}= aleph_2+ there exists a Delta^2_1-well ordering of the reals. The proof consists in iterating posets designed…

Assume the existence of sufficent large cardinals. Let $M_{\mathrm{sw}n}$ be the minimal iterable proper class $L[E]$ model satisfying "there are $\delta_0<\kappa_0<\ldots<\delta_{n-1}<\kappa_{n-1}$ such that the $\delta_i$ are Woodin…

The study of inner models was initiated by G\"odel's analysis of the constructible universe. Later, the study of canonical inner models with large cardinals, e.g., measurable cardinals, strong cardinals or Woodin cardinals, was pioneered by…

We show in many cases that there exist rational scrolls which are balanced, i.e. they contain the expected number of general linear spaces as rulings. For example, there exist balanced scrolls of degree $mk+1$ and fibre dimension $k$ in…

Let $M$ be a $\lambda$-indexed (that is, Jensen indexed) premouse. We prove that $M$ is iterable with respect to standard $\lambda$-iteration rules iff $M$ is iterable with respect to a natural version of Mitchell-Steel iteration rules.…

The sequence 2,5,15,51,187,... with the form $(2^n+1)(2^{n-1}+1)/3$ has two interpretations in terms of the density of a language with four letters and the cardinality of the quotient of $\ZZ_2^n\times \ZZ_2^n$ under the action of the…

We describe an obstacle to the analysis of $\mathrm{HOD}^{L[x]}$ as a core model: Assuming sufficient large cardinals, for a Turing cone of reals $x$ there are premice $M,N$ in $\mathrm{HC}^{L[x]}$ such that the pseudo-comparison of $L[M]$…

This paper presents full classification of second minimal odd periodic orbits of a continuous endomorphisms on the real line. A $(2k+1)$-periodic orbit ($k\geq 3$) is called second minimal for the map $f$, if $2k-1$ is a minimal period of…

The study of complexity and optimization in decision theory involves both partial and complete characterizations of preferences over decision spaces in terms of real-valued monotones. With this motivation, and following the recent…

In this paper we explore a connection between descriptive set theory and inner model theory. From descriptive set theory, we will take a countable, definable set of reals, A. We will then show that A is equal to the reals of M, where M is a…

We describe the ordering of a class of clones by minion homomorphisms, also known as minor preserving maps or height 1 clone homomorphisms. The class consists of all clones on finite sets determined by binary relations whose projections to…