Related papers: On balanced coronas of groups

This paper establishes a number of constraints on the structure of large cardinals under strong compactness assumptions. These constraints coincide with those imposed by the Ultrapower Axiom, a principle that is expected to hold in Woodin's…

It is shown that the fundamental group of the Griffiths double cone space is isomorphic to that of the triple cone. More generally if $\kappa$ is a cardinal such that $2 \leq \kappa \leq 2^{\aleph_0}$ then the $\kappa$-fold cone has the…

For a cardinal $\kappa > \omega$ a metric space $X$ is called to be $\kappa$-superuniversal whenever for every metric space $Y$ with $|Y| < \kappa$ every partial isometry from a subset of $Y$ into $X$ can be extended over the whole space…

A result of G. Godefroy asserts that a Banach space $X$ contains an isomorphic copy of $\ell_1$ if and only if there is an equivalent norm $|||\cdot|||$ such that, for every finite-dimensional subspace $Y$ of $X$ and every $\varepsilon>0$,…

Suppose that kappa is a singular cardinal of cofinality omega and GCH holds. Assume that for every n<omega the set of alphas with o(alpha)>= alpha^{+n} is unbounded in kappa.Then there is a cardinal preserving extension satisfying…

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…

The $K$-theory of the stable Higson corona of a coarse space carries a canonical ring structure. This ring is the domain of an unreduced version of the coarse co-assembly map of Emerson and Meyer. We show that the target also carries a ring…

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…

Given an arbitrary measurable cardinal $\kappa$, a nondiscrete Hausdorff extremally disconnected topological group of cardinality $\kappa$ is constructed.

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.…

Let $\kappa$ be an infinite cardinal. A topological space $X$ is $\kappa$-bounded if the closure of any subset of cardinality $\le\kappa$ in $X$ is compact. We discuss the problem of embeddability of topological spaces into Hausdorff…

We show that if the existence of a supercompact cardinal $\kappa$ with a weakly compact cardinal $\lambda$ above $\kappa$ is consistent, then the following are consistent as well (where $\mathfrak{t}(\kappa)$ and $\mathfrak{u}(\kappa)$ are…

If $\kappa$ is regular and $2^{<\kappa}\leq\kappa^+$, then the existence of a weakly presaturated ideal on $\kappa^+$ implies $\square^*_\kappa$. This partially answers a question of Foreman and Magidor about the approachability ideal on…

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

The paper settles the problem of the consistency of the existence of a single universal graph between a strong limit singular and its power. Assuming that in a model of $\mathbf{GCH}$ $\kappa$ is supercompact and the cardinals $\theta <…

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$…

For every infinite cardinal $\kappa$ with $\kappa^+=2^\kappa$ we construct a group $G$ of cardinality $|G|=\kappa^+$ such that (i) $G$ is $36$-Shelah, which means that $A^{36}=G$ for any subset $A\subseteq G$ of cardinality $|A|=|G|$; (ii)…

Let $G $ be a group of cardinality $\kappa>\aleph_0 $ endowed with a topology $\tau $ such that $|U|=\kappa$ for every non-empty $U\in\tau$ and $\tau$ has a base of cardinality $\kappa$. We prove that $G$ could be factorized $G=AB$ (i.e.…

Consider the following generalization of the bicyclic monoid. Let $\kappa$ be any infinite cardinal and let $\mathcal{IP\!F}\left(\sigma{\mathbb{N}^\kappa}\right)$ be the semigroup of all order isomorphisms between principal filters of the…