Related papers: Left-Separating Order Types

We introduce the property of countable separation for a locally convex Hausdorff space $X$ and relate it to the existence of a metrizable coarser topology. Building on this, we demonstrate how the separability of $X$ is equivalent to the…

We show that no left-ordering on a free product of (left-orderable) groups is isolated. In particular, we show that the space of left-orderings of free product of finitely generated groups is homeomorphic to the Cantor set. With the same…

A simply connected topological space X has homotopy Lie algebra $\pi_*(\Omega X) \tensor \Q$. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type…

It is proved that if X is a compact Hausdorff space of Lebesgue dimension $\dim(X)$, then the squaring mapping $\alpha_{m} \colon (C(X)_{\mathrm{sa}})^{m} \to C(X)_{+}$, defined by $\alpha_{m}(f_{1},..., f_{m}) = \sum_{i=1}^{m} f_{i}^{2}$,…

The dissipated spaces form a class of compacta which contains both the scattered compacta and the compact LOTSes (linearly ordered topological spaces), and a number of theorems true for these latter two classes are true more generally for…

We identify a class of subspaces of ordered spaces $\mathcal L$ for which the following statement holds: If $f:X\to L\in \mathcal L$ is a continuous bijections of a zero-dimensional space $X$, then $f$ can be re-routed via a…

Say that a cardinal number $\kappa$ is \emph{small} relative to the space $X$ if $\kappa <\Delta(X)$, where $\Delta(X)$ is the least cardinality of a non-empty open set in $X$. We prove that no Baire metric space can be covered by a small…

The aim of this paper is to introduce a new weak separation axiom that generalizes the separation properties between $T_1$ and completely Hausdorff. We call a topological space $(X,\tau)$ a $T_{\kappa,\xi}$-space if every compact subset of…

A regular topological space $X$ is defined to be a $\mathfrak P_0$-space if it has countable Pytkeev network. A network $\mathcal N$ for $X$ is called a Pytkeev network if for any point $x\in X$, neighborhood $O_x\subset X$ of $x$ and…

For a topological space $X$ we propose to call a subset $S \subset X$ "free in $X$" if it admits a well-ordering that turns it into a free sequence in $X$. The well-known cardinal function $F(X)$ is then definable as $\sup\{|S| : S \text{…

In a recent paper O. Pavlov proved the following two interesting resolvability results: (1) If a space $X$ satisfies $\Delta(X) > \ps(X)$ then $X$ is maximally resolvable. (2) If a $T_3$-space $X$ satisfies $\Delta(X) > \pe(X)$ then $X$ is…

We define Conradian left-preorders and the space of Conradian left-preorders. We show that this space is either finite or uncountable. We describe conditions that are equivalent to say that the space of Conradian left-preorders is finite.…

A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is…

Let kappa a regular uncountable cardinal and lambda a cardinal >kappa, and suppose lambda^{<kappa} is less than the covering number for category cov(M_{kappa,kappa}). Then (a) I_{kappa,lambda}^+ -->^kappa (I_{kappa, lambda}^+,omega +1)^2,…

For an infinite cardinal $\kappa$ let $\ell_2(\kappa)$ be the linear hull of the standard othonormal base of the Hilbert space $\ell_2(\kappa)$ of density $\kappa$. We prove that a non-separable convex subset $X$ of density $\kappa$ in a…

A topological space $X$ is called a topological fractal if $X=\bigcup_{f\in\mathcal F}f(X)$ for a finite system $\mathcal F$ of continuous self-maps of $X$, which is topologically contracting in the sense that for every open cover $\mathcal…

The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.

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…

Let $\mathcal{I}$ be an ideal on $\omega$ and $X$ be a topological space. A sequence $(x_n)_{n\in \omega}$ in $X$ is $\mathcal{I}$-convergent if there is $x\in X$ such that $\{n\in \omega:x_n\notin U\}\in\mathcal{I}$ for every open…

We extend the Stone duality between topological spaces and locales to include order: there is an adjunction between the category of preordered topological spaces satisfying the so-called open cone condition, and the newly defined category…