Related papers: $\mathsf{SOCA}$ and $\mathsf{OGA}$ for $\mathsf{HL…

We study partition properties for uncountable regular cardinals that arise by restricting partition properties defining large cardinal notions to classes of simply definable colourings. We show that both large cardinal assumptions and…

The Cheeger constant of a graph, or equivalently its coboundary expansion, quantifies the expansion of the graph. This notion assumes an implicit choice of a coefficient group, namely, $\mathbb{F}_2$. In this paper, we study Cheeger-type…

We give the following positive answer to Gromov's question (in "Oka's principle for holomorphic sections of elliptic bundles", J. Amer. Math. Soc. 2, 851-897 (1989), 3.4.(D), page 881). THEOREM: If every holomorphic map from a compact…

An algebraic subvariety Z of A_g is totally geodesic if it is the image via the natural projection map of some totally geodesic submanifold X of the Siegel space. We say that X is the symmetric space uniformizing Z. In this paper we…

We look at colourings of $r$-uniform hypergraphs, focusing our attention on unique colourability and gaps in the chromatic spectrum. The pattern of an edge $E$ in an $r$-uniform hypergraph $H$ whose vertices are coloured is the partition of…

Let $\mathfrak{g}$ be an untwisted affine Lie algebra with associated Weyl group $W_a$. To any level 0 weight $\gamma$ we associate a weighted graph $\Gamma_\gamma$ that encodes the orbit of $\gamma$ under the action $W_a$. We show that the…

We study the space of oriented genus g subsurfaces of a fixed manifold M, and in particular its homological properties. We construct a "scanning map" which compares this space to the space of sections of a certain fibre bundle over M…

We show that it is consistent relative to the existence of suitable large cardinals that for any countable-to-one coloring $c: [\omega_2]^2\to \omega_2$, there exists a closed subset $A\subseteq \omega_2$ of order type $\omega_1$ such that…

We prove that an open set $\Omega \subset \mathbb{R}^n$ can be approximated by smooth sets of uniformly bounded perimeter from the interior if and only if the open set $\Omega$ satisfies \begin{align*} &\qquad…

We construct a model of $\mathsf{MA_{\aleph_1}}+\mathsf{OCA}_T$ where Baumgartner's Axiom fails, settling a question of Farah. Moreover, in the same model there is an $\aleph_1$-dense set of reals which is neither reversible nor increasing,…

Given a locally compact, complete metric space $({\rm X},{\sf D})$ and an open set $\Omega\subseteq{\rm X}$, we study the class of length distances $\sf d$ on $\Omega$ that are bounded from above and below by fixed multiples of the ambient…

Topological gyrogroups, with a weaker algebraic structure without associative law, have been investigated recently. We prove that each $T_{0}$-strongly topological gyrogroup is completely regular. We also prove that every $T_{0}$-strongly…

We prove from the existence of a Mahlo cardinal the consistency of the statement that $2^\omega = \omega_3$ holds and every stationary subset of $\omega_2 \cap \mathrm{cof}(\omega)$ reflects to an ordinal less than $\omega_2$ with…

A theorem of Gao, Jackson and Seward, originally conjectured to be false by Glasner and Uspenskij, asserts that every countable group admits a $2$-coloring. A direct consequence of this result is that every countable group has a strongly…

Curve pseudo-visibility graphs generalize polygon and pseudo-polygon visibility graphs and form a hereditary class of graphs. We prove that every curve pseudo-visibility graph with clique number $\omega$ has chromatic number at most $3\cdot…

Extending a result of R. de la Vega, we prove that an infinite homogeneous compactum has cardinality $\mathfrak{c}$ if either it is the union of countably many dense or finitely many arbitrary countably tight subspaces. The question if…

The \emph{shift map} $\sigma$ is the self-homeomorphism of $\omega^* = \beta\omega \setminus \omega$ induced by the successor function $n \mapsto n+1$ on $\omega$. We prove that the isomorphism classes of $\sigma$ and $\sigma^{-1}$ cannot…

Let $\Omega\subset\mathbb{C}^n$, $n\geq 2$, be a domain with smooth connected boundary. If $\Omega$ is relatively compact, the Hartogs-Bochner theorem ensures that every CR distribution on $\partial\Omega$ has a holomorphic extension to…

Assuming that ORD is $\omega +\omega $-Erd\"os we show that if a class forcing amenable to $L$ (an $L$-forcing) has a generic then it has one definable in a set-generic extension of $L[O^\#]$. In fact we may choose such a generic to be {\it…

Michael asked whether every productively Lindel\"of space is powerfully Lindel\"of. Building of work of Alster and De la Vega, assuming the Continuum Hypothesis, we show that every productively Lindel\"of space of countable tightness is…