Related papers: On strong chains of sets and functions

We show that it is consistent, relative to $\omega$ many supercompact cardinals, that the super tree property holds at $\aleph_n$ for all $2 \leq n < \omega$ but there are weak square and a very good scale at $\aleph_{\omega}$.

Graphs triangulating the $2$-sphere are generically rigid in $3$-space, due to Gluck-Dehn-Alexandrov-Cauchy. We show there is a \emph{finite} subset $A$ in $3$-space so that the vertices of each graph $G$ as above can be mapped into $A$ to…

We show the consistency of "there is a nice sigma --ideal I on the reals with add(I)= omega_1 which cannot be represented as the union of a strictly increasing sequence of length omega_1 of sigma-subideals". This answers a question by…

We consider some new limits for the elliptic hypergeometric integrals on root systems. After the degeneration of elliptic beta integrals of type I and type II for root systems $A_n$ and $C_n$ to the hyperbolic hypergeometric integrals, we…

For an arbitrary infinite cardinal $\kappa$, we define classes of coordinatewise $\kappa$-slender and tailwise $\kappa$-slender modules as well as related classes of $h\kappa$-modules and initiate a study of these classes.

Summability methods for ultraholomorphic classes in sectors, defined in terms of a strongly regular sequence $\mathbb{M}=(M_p)_{p\in\mathbb{N}_0}$, have been put forward by A. Lastra, S. Malek and the second author (Summability in general…

Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained that way (`Unfoldable cardinals') behave as…

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…

We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…

We prove that the strong polarized relation of $\theta$ above $\omega$ applied simultaneously for every cardinal in the interval $[\aleph_1,\aleph]$ is consistent. We conclude that this positive relation is consistent for every cardinal…

We obtain a small ultrafilter number at $\aleph_{\omega_1}$. Moreover, we develop a version of the overlapping strong extender forcing with collapses which can keep the top cardinal $\kappa$ inaccessible. We apply this forcing to construct…

If $\lambda <\kappa$ are infinite cardinals, a linear order $L$ is isomorphic to a maximal chain in $[\kappa ]^{\kappa |\kappa }$ (resp. $[\kappa ]^{\lambda |\kappa }$; $[\kappa ]^{\kappa |\lambda }$) iff $L$ is weakly Boolean, the weight…

We show upper and lower embeddings of $\alpha_1$-modulation spaces in $\alpha_2$-modulation spaces for $0 \leq \alpha_1 \leq \alpha_2 \leq 1$, and prove partial results on the sharpness of the embeddings.

By an omega_1 --tree we mean a tree of power omega_1 and height omega_1. We call an omega_1 --tree a Jech--Kunen tree if it has kappa --many branches for some kappa strictly between omega_1 and 2^{omega_1}. In this paper we construct the…

We determine the asymptotic proportion of free modules over finite chain rings with good distance properties and treat the asymptotics in the code length n and the residue field size q separately. We then specialize and apply our technique…

Assuming that there is no inner model with a Woodin cardinal, we obtain a characterization of $\lambda$-tall cardinals in extender models that are iterable. In particular we prove that in such extender models, a cardinal $\kappa$ is a tall…

We define a certain finite set in set theory $\{x\mid\varphi(x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any…

Assume $\text{MA}(\kappa)$. We show that for every real chain of size $\kappa$ in the quotient Boolean algebra $P(\omega)/fin$ we can find an almost chain of representatives such that every $n\in\omega$ oscillates at most three times along…

We answer a question of Woodin by showing that assuming an inaccessible cardinal $\kappa$ which is a limit of ${<}\kappa$-supercompact cardinals exists, there is a stationary set preserving forcing $\mathbb{P}$ so that $V^{\mathbb…

We generalize the well-studied notion of a modular pair of a finite matroid to arbitrary families of sets in infinite matroids, and use it to develop the theory of infinite matroids in several as-yet-unexplored areas. Our results include a…