Related papers: Products and countable dense homogeneity
We construct a compact Hausdorff space $K$ such that the space $P(K)$ of Radon probabiblity measures on $K$ considered with the weak$^*$ topology (induced from the space of continuous functions $C(K)$) is countably tight which is a…
Let $(X, d)$ be an ultrametric space and let $d_H$ be the Hausdorff distance on the set $\bar{\mathbf{B}}_X$ of all closed balls in $(X, d)$. Some interconnections between the properties of the spaces $(X, d)$ and $(\bar{\mathbf{B}}_X,…
Let L be the zero set of a nonconstant monic polynomial with complex coefficients. In the context of constructive mathematics without countable choice, it may not be possible to construct an element of L. In this paper we introduce a notion…
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…
For a metrizable space $X$ and a finite measure space $(\Omega,\mathfrak{M},\mu)$ let $M_{\mu}(X)$ and $M^f_{\mu}(X)$ be the spaces of all equivalence classes (under the relation of equality almost everywhere mod $\mu$) of…
A space $X$ is called selectively separable(R-separable) if for every sequence of dense subspaces $(D_n : n\in\omega)$ one can pick finite (respectively, one-point) subsets $F_n\subset D_n$ such that $\bigcup_{n\in\omega}F_n$ is dense in…
We say that a (countably dimensional) topological vector space $X$ is orbital if there is $T\in L(X)$ and a vector $x\in X$ such that $X$ is the linear span of the orbit ${T^nx:n=0,1,...}$. We say that $X$ is strongly orbital if,…
We generalize the lexicographic product of first-order structures by presenting a framework for constructions which, in a sense, mimic iterating the lexicographic product infinitely and not necessarily countably many times. We then define…
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y), \] and set $M(X) =…
We show that the continuum hypothesis implies there exists a Lindelof space X such that X x X is the union of two metrizable subspaces but X is not metrizable. This gives a consistent solution to a problem of Balogh, Gruenhage, and Tkachuk.…
It is proved that for an h-homogeneous space X the following conditions are equivalent: 1) X is a densely homogeneous space with a dense complete subspace; 2) X is $\sigma$-discretely controlled.
In this paper it is proved that, when $Q$ is a quiver that admits some closure, for any algebraically closed field $K$ and any finite dimensional $K$-linear representation $\mathcal{X}$ of $Q$, if ${\rm Ext}^1_{KQ}(\mathcal{X},KQ)=0$ then…
Building on the work of Avraham, Rubin, and Shelah, we aim to build a variant of the Fra\"iss\'e theory for uncountable models built from finite submodels. With this aim, we generalize the notion of an increasing set of reals to other…
Let $X$ be an affine algebraic variety with a transitive action of the algebraic automorphism group. Suppose that $X$ is equipped with several non-degenerate fixed point free $SL_2$-actions satisfying some mild additional assumption. Then…
In [9] we proved that the space of countable torsion-free abelian groups is Borel complete. In this paper we show that our construction from [9] satisfies several additional properties of interest. We deduce from this that countable…
We consider the problems of measurable isomorphisms and joinings, measurable centralizers and quotients for certain classes of ergodic group actions on infinite measure spaces. Our main focus is on systems of algebraic origin: actions of…
A space is called minimal if it admits a minimal continuous selfmap. We give examples of metrizable continua $X$ admitting both minimal homeomorphisms and minimal noninvertible maps, whose squares $X\times X$ are not minimal, i.e., they…
For a homogeneous space X (not necessarily principal) of a connected algebraic group G (not necessarily linear) over a number field k, we prove a theorem of strong approximation for the adelic points of X in the Brauer-Manin set. Namely,…
For a metric continuum $X$, we consider the $n^{\tiny\textrm{th}}$-symmetric product $F_{n}(X)$ defined as the hyperspace of all nonempty subsets of $X$ with at most $n$ points. The homogeneity degree $hd(X)$ of a continuum $X$ is the…
It is proved that for every compact metric space $K$ there exists a Banach space $X$ whose Calkin algebra $\mathcal{L}(X)/\mathcal{K}(X)$ is homomorphically isometric to $C(K)$. This is achieved by appropriately modifying the…