Related papers: Cardinal arithmetic and Woodin cardinals

We introduce exacting cardinals and a strengthening of these, ultraexacting cardinals. These are natural large cardinals defined equivalently as weak forms of rank-Berkeley cardinals, strong forms of J\'onsson cardinals, or in terms of…

We study closure properties of measurable ultrapowers with respect to Hamkin's notion of "freshness" and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one…

Assuming $\kappa$ is a supercompact cardinal and $\lambda$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $\kappa=\aleph_\omega$ and $\lambda=\aleph_{\omega+1}.$

For an algebraic number $\alpha$ we denote by $M(\alpha)$ the Mahler measure of $\alpha$. As $M(\alpha)$ is again an algebraic number (indeed, an algebraic integer), $M(\cdot)$ is a self-map on $\overline{\mathbb{Q}}$, and therefore defines…

For $n<\omega$, let $N_n$ be the minimal iterable proper class mouse $M$ such that $M\models$ "there are ordinals $\delta_0<\kappa_0<\ldots<\delta_{n-1}<\kappa_{n-1}$ such that each $\delta_i$ is a Woodin cardinal and each $\kappa_i$ is a…

We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$…

Boolean ultrapowers extend the classical ultrapower construction to work with ultrafilters on any complete Boolean algebra, rather than only on a power set algebra. When they are well-founded, the associated Boolean ultrapower embeddings…

For $\kappa$ regular and uncountable we define variants of the classical cardinal characteristics modulo the non-stationary ideal.

We give a new proof that there are arbitrarily large indecomposable abelian groups; moreover, the groups constructed are absolutely indecomposable, that is, they remain indecomposable in any generic extension. However, any absolutely rigid…

This is a slightly corrected version of an old work. For a cardinal $\mu$ we give a sufficient condition $\oplus_\mu$ (involving ranks measuring existence of independent sets) for: $\otimes_\mu$ if a Borel set $B\subseteq \mathbb{R} \times…

All spaces below are $T_0$ and crowded (i.e. have no isolated points). For $n \le \omega$ let $M(n)$ be the statement that there are $n$ measurable cardinals and $\Pi(n)$ ($\Pi^+(n)$) that there are $n+1$ (0-dimensional $T_2$) spaces whose…

Let kappa be the least ordinal alpha such that L_{alpha}(R) is admissible. Let A be the set of reals x such that x is ordinal definable in L_{\alpha}(R), for some alpha<kappa. It is well known that (assuming determinacy) A is the largest…

Motivated by the goal of constructing a model in which there are no $\kappa$-Aronszajn trees for any regular $\kappa>\aleph_1$, we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square…

We develop the theory of cofinal types of ultrafilters over measurable cardinals and establish its connections to Galvin's property. We generalize fundamental results from the countable to the uncountable, but often in surprisingly…

Motivated by two open questions about two-cardinal tree properties, we introduce and study generalized narrow system properties. The first of these questions asks whether the strong tree property at a regular cardinal $\kappa \geq \omega_2$…

We show that if \kappa\ is a weakly compact cardinal then the embeddability relation on (generalized) trees of size \kappa\ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2^\kappa\…

We show that some of the most prominent large cardinal notions can be characterized through the validity of certain combinatorial principles at $\omega_2$ in forcing extensions by the pure side condition forcing introduced by Neeman. The…

The stable core, an inner model of the form $\langle L[S],\in, S\rangle$ for a simply definable predicate $S$, was introduced by the first author in [Fri12], where he showed that $V$ is a class forcing extension of its stable core. We study…

Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at…

The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.