Related papers: Maximal Prikry Sequences

In the present paper we continue to examine cellular covers of groups, focusing on the cardinality and the structure of the kernel K of the cellular map G-> M . We show that in general a torsion free reduced abelian group M may have a…

From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal kappa is fully indestructible by kappa-directed…

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…

Given a nonempty finite multiset $S$ of positive integers, we wish to find a partially ordered set $P$ of minimal cardinality such that the multiset of cardinalities of all maximal chains in $P$ equals $S$. This paper establishes upper and…

We characterize several large cardinal notions by model-theoretic properties of extensions of first-order logic. We show that $\Pi_n$-strong cardinals, and, as a corollary, ``Ord is Woodin" and weak Vop\v{e}nka's Principle, are…

This paper introduces the seed order, a partial order of the class of uniform countably complete ultrafilters that generalizes the Mitchell order on normal measures. Like that order, the seed order is consistently a linear ordering even…

Let $K \subset \mathbb{C}^n$ be a compact set satisfying the following Bernstein inequality: for any $m \in \{ 1,..., n\}$ and for any $n$-variate polynomial $P$ of degree $\mbox{deg}(P)$ we have \begin{align*} \max_{z\in…

The main result of this article states that the (K;N)-cone over some metric measure space satisfies the reduced Riemannian curvature-dimension condition RCD^*(KN;N+1) if and only if the underlying space satisfies RCD^*(N-1;N). The proof…

We give a new proof of a theorem of Becker that under AD+V=L(R), omega_2 is a kappa-supercompact for every kappa less than or equal to the supremum of all Suslin cardinals. Our proof uses inner model theory. It is still open whether one can…

We show that every Jonsson cardinal is Ramsey in the Steel core model, provided that this model exists and there is no model with a Woodin cardinal. This basic result is improved in two directions. First, we prove the same result for…

We study the differential inclusion $Du\in K$, where $K$ is an unbounded and rotationally invariant subset of the real symmetric $3\times 3$ matrices. We exhibit a subset of all possible average fields. The corresponding microgeometries are…

We answer a question of Krueger by obtaining -- from countably many Mahlo cardinals -- a model where there is a disjoint stationary sequence on $\aleph_{n+2}$ for every $n\in\omega$. In that same model, the notions of being internally…

We study Structural Reflection beyond Vop\v{e}nka's Principle, at the level of almost-huge cardinals and higher, up to rank-into-rank embeddings. We identify and classify new large cardinal notions in that region that correspond to some…

The Jensen-Steel core model is a canonical inner model which plays a fundamental role in the meta-mathematics of set theory. Its definition depends on exactly which hierarchy of fine-structural models of set theory, premice, one uses. Each…

A family of sets is called $r$-\emph{cover free} if no set in the family is contained in the union of $r$ (or less) other sets in the family. A $1$-cover free family is simply an antichain with respect to set inclusion. Thus, Sperner's…

The main problem of clone theory is to describe the clone lattice for a given basic set. For a two-element basic set this was resolved by E.L. Post, but for at least three-element basic set the full structure of the lattice is still…

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…

We show that there are infinitely many counterexamples to Minkowski's conjecture in positive characteristic regarding uniqueness of the upper bound of the multiplicative covering radius, $\mu$, by constructing a sequence of compact $A$…

Let $\alpha(G)$ denote the cardinality of a maximum independent set, while $\mu(G)$ be the size of a maximum matching in the graph $G=\left(V,E\right) $. If $\alpha(G)+\mu(G)=\left\vert V\right\vert $, then $G$ is a K\"onig-Egerv\'ary…

Our theme is that not every interesting question in set theory is independent of $ZFC$. We give an example of a first order theory $T$ with countable $D(T)$ which cannot have a universal model at $\aleph_1$ without CH; we prove in $ZFC$ a…