Related papers: Cardinal invariants distinguishing permutation gro…

Let $\lambda$ and $\kappa$ be cardinal numbers such that $\kappa$ is infinite and either $2\leq \lambda\leq \kappa$, or $\lambda=2^\kappa$. We prove that there exists a lattice $L$ with exactly $\lambda$ many congruences, $2^\kappa$ many…

We consider the following dichotomy for $\Sigma^0_2$ finitary relations $R$ on analytic subsets of the generalized Baire space for $\kappa$: either all $R$-independent sets are of size at most $\kappa$, or there is a $\kappa$-perfect…

We investigate whether the ultrafilter number function $\kappa \mapsto \mathfrak{u}(\kappa)$ on the cardinals is monotone, that is, whether $\mathfrak{u}(\lambda) \le \mathfrak{u}(\kappa)$ holds for all cardinals $\lambda < \kappa$ or not.…

For a ring R, denote by Spec^R_kappa(Gamma) the kappa-spectrum of the Gamma-invariant of strongly uniform right R-modules. Recent realization techniques of Goodearl and Wehrung show that Spec^R_{aleph_1}(Gamma) is full for suitable von…

We call a pair of infinite cardinals $(\kappa,\lambda)$ with $\kappa > \lambda$ a dominating (resp. pinning down) pair for a topological space $X$ if for every subset $A$ of $X$ (resp. family $\mathcal{U}$ of non-empty open sets in $X$) of…

We determine the large cardinal consistency strength of the existence of a $\lambda$-supercompact cardinal $\kappa$ such that GCH fails at $\lambda$. Indeed, we show that the existence of a $\lambda$-supercompact cardinal $\kappa$ such that…

We prove that consistently there is a singular cardinal $\kappa$ of uncountable cofinality such that $2^\kappa$ is weakly inaccessible, and every regular cardinal strictly between $\kappa$ and $2^\kappa$ is the character of some uniform…

One of the numerous characterizations of a Ramsey cardinal kappa involves the existence of certain types of elementary embeddings for transitive sets of size \kappa satisfying a large fragment of ZFC. We introduce new large cardinal axioms…

From large cardinals we show the consistency of normal, fine, $\kappa$-complete $\lambda$-dense ideals on $\mathcal{P}_\kappa(\lambda)$ for successor $\kappa$. We explore the interplay between dense ideals, cardinal arithmetic, and squares,…

We study the existence of transformations of the transfinite plane that allow one to reduce Ramsey-theoretic statements concerning uncountable Abelian groups into classical partition relations for uncountable cardinals. To exemplify: we…

A ccc-generically supercompact cardinal $\kappa$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $\kappa$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically…

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

We prove a revised version of Laver's indestructibility theorem which slightly improves over the classical result. An application yields the consistency of $(\kappa^+,\kappa)\notcc(\aleph\_1,\aleph\_0)$ when $\kappa$ is supercompact. The…

An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC…

Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…

For certain uncountable cardinals $\kappa$ we produce a group of cardinality $\kappa$ which is freely indecomposable, strongly $\kappa$-free, and whose abelianization is free abelian of rank $\kappa$. The construction takes place in…

We investigate the unbalanced ordinary partition relations of the form $\lambda \rightarrow {(\lambda, \alpha)}^{2}$ for various values of the cardinal $\lambda$ and the ordinal $\alpha$. For example, we show that for every infinite…

We study feebly compact shift-continuous $T_1$-topologies on the symmetric inverse semigroup $\mathscr{I}_\lambda^n$ of finite transformations of the rank $\leqslant n$. It is proved that such $T_1$-topology is sequentially pracompact if…

For every uncountable cardinal $\lambda$, suitable negations of the Generalized Continuum Hypothesis imply: - For all infinite $\alpha$ and $\beta$, there is no universal $K_{\alpha,\beta}$-free graphs in $\lambda$ - For all $\alpha\ge 3$,…

Square-kappa-finite, the finite family version of weak square, holds at all cardinals kappa in the Mitchell-Steel inner models.