Related papers: On the infinite powers of large zero-dimensional m…

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…

If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.

Given a strong limit cardinal $\lambda$ of countable cofinality, we show that if every $\lambda$-coanalytic subset of the generalised Cantor space ${}^{\lambda}2$ has the $\lambda$-$\mathsf{PSP}$, then there is an inner model with…

Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…

It is well-known that every non-isolated point in a compact Hausdorff space is the accumulation point of a discrete subset. Answering a question raised by Z. Szentmiklossy and the first author, we show that this statement fails for…

For a topological space $X$ its reflection in a class $\mathsf T$ of topological spaces is a pair $(\mathsf T X,i_X)$ consisting of a space $\mathsf T X\in\mathsf T$ and continuous map $i_X:X\to \mathsf T X$ such that for any continuous map…

Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $\kappa$. We show the consistency of…

We show that a space with a finite asymptotic dimension is embeddable in a non-positively curved manifold. Then we prove that if a uniformly contractible manifold X is uniformly embeddable in $\R^n$ or non-positively curved n-dimensional…

For $\kappa$ a cardinal, a space $X=(X,\sT)$ is $\kappa$-{\it resolvable} if $X$ admits $\kappa$-many pairwise disjoint $\sT$-dense subsets; $(X,\sT)$ is {\it exactly} $\kappa$-{\it resolvable} if it is $\kappa$-resolvable but not…

Homogeneous countably compact spaces $X$ and $Y$ whose product $X\times Y$ is not pseudocompact are constructed. It is proved that all compact subsets of homogeneous subspaces of the third power of an extremally disconnected space are…

We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e. the cofinality of lambda^lambda is strictly bigger than cov(meagre_lambda), i.e. the minimal number of nowhere dense subsets of…

We show that if $\mu \leq \cf \lambda $ and $\lambda$ is a strong limit singular cardinal, then $[\mu, \lambda ]$-compactness is productive if and only if either $\mu= \omega $, or $\mu$ is $\lambda$-strongly compact.

For any cardinal $\kappa \geq 2$, there is a unique complete real tree whose points all have valence $\kappa$. In this note, we show that, when $\kappa \geq 3$, it is necessary to assume completeness. More precisely, we show that there…

In this survey we catalogue the many results of the past several decades concerning bounds on the cardinality of a topological space with homogeneous or homogeneous-like properties. These results include van Douwen's Theorem, which states…

We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e., the cofinality of ^{lambda}lambda, is strictly bigger than cov_lambda(meagre), i.e. the minimal number of nowhere dense subsets of…

We point out some connections between existence of homogenous sets for certain edge colorings and existence of branches in certain trees. As a consequence, we get that any locally additive coloring (a notion introduced in the paper) of a…

A Lambda (Card Lambda > aleph)-product space of {0,1} has a partition {X1,...,Xn} for any n a decomposition space of each Xi of which is self-similar.(February 16, 2015)

We prove that for every uncountable cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, the quasi-order of embeddability on the $\kappa$-space of $\kappa$-sized graphs Borel reduces to the embeddability on the $\kappa$-space of…

Given an uncountable regular cardinal $\kappa$, a partial order is $\kappa$-stationarily layered if the collection of regular suborders of $\mathbb{P}$ of cardinality less than $\kappa$ is stationary in $\mathcal{P}_\kappa(\mathbb{P})$. We…

Let $X$ be metrizable, $Y$ be perfectly normal and suppose that there exists a uniformly continuous surjection $T: C_{p}(X) \to C_{p}(Y)$ (resp., $T: C_{p}^*(X) \to C_{p}^*(Y)$), where $C_{p}(X)$ (resp., $C_{p}^*(X)$) denotes the space of…