arXiv subjects
Publications and source records attributed to Dominik Adolf.
We introduce a combinatorial notion of measures called Rudin-Keisler capturing and use it to give a new construction of elementary substructures around singular cardinals. The new construction is used to establish mutual stationary results at the first successor of singular cardinals $\langle \aleph_{\omega n + 1}\rangle_{n< \omega}$.
Consider the property $(\aleph_{\omega + 1},\aleph_{\omega + 2},\ldots) \twoheadrightarrow (\aleph_1,\aleph_2,\ldots)$. Here we will show that this property with the addition of the General Continuum Hypothesis implies projective determinacy. Of particular interest here is the use of a variant covering argument to prove limited instances of mouse reflection. We believe that this approach could find use for other forms of Chang's Conjecture as well.
We show that the following two theories are equiconsistent: (T) ZFC, CH and "There is a dense ideal on the first uncountable cardinal such that if j is the generic embedding associated with it then its restriction on ordinals is independent of the generic object is". (S) ZF, ADR and "Theta is a regular cardinal." The main result of this paper is that T implies that the minimal model of S exists. Woodin, in unpublished work, showed that the consistency of S implies the consistency of T. We will also give a proof of this result, which, together with our main theorem, establishes the equiconsistency of T and S. Our main result partially resolves a well-known conjecture of Woodin, and completely solves one of the main Core Model Induction problems dating back to 90s.
Shelah showed that the existence of free subsets over internally approachable subalgebras follows from the failure of the PCF conjecture on intervals of regular cardinals. We show that a stronger property called the Approachable Bounded Subset Property can be forced from the assumption of a cardinal $\lambda$ for which the set of Mitchell orders $\{ o(\mu) \mid \mu < \lambda\}$ is unbounded in $\lambda$. Furthermore, we study the related notion of continuous tree-like scales, and show that such scales must exist on all products in canonical inner models. We use this result, together with a covering-type argument, to show that the large cardinal hypothesis from the forcing part is optimal.
Consider $(\kappa^{+++},\kappa^{++}) \twoheadrightarrow (\kappa^+,\kappa)$ where $\kappa$ is an uncountable regular cardinal. By a result of Shelah's we have $\operatorname{cof}(X \cap \kappa^{++}) = \kappa$ for almost all $X \subset \kappa^{+++}$ witnessing this. Here we consider the question if there could be a similar result for $X \cap \kappa^+$. We use this discussion to give an interesting example of a pseudo Prikry forcing answering a question of Sinapova.
We improve previous work on the consistency strength of mutually stationary sequences of sets concentrating on points with divergent cofinality building on previous work by Adolf, Cox and Welch. Specifically, we have greatly reduced our reliance on covering properties in the proof. This will allow us to handle sequences in which sets concentrating on points of countable cofinality appear infinitely often. Furthermore we will show that if $\kappa$ is a J\'onsson cardinal with $\kappa < \aleph_\kappa$ then the sharp for a model with a strong cardinal exists.
We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also consider some related and, as it turns out, stronger properties.