Related papers: On Loeb and sequential spaces in $\mathbf{ZF}$

Let $(X,\tau)$ be a Hausdorff space, where $X$ is an infinite set. The compact complement topology $\tau^{\star}$ on $X$ is defined by: $\tau^{\star}=\{\emptyset\} \cup \{X\setminus M, \text{where $M$ is compact in $(X,\tau)$}\}$. In this…

The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper,…

The topology of a space $X$ is generated by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq X$ is closed in $X$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. A space $X$ is a $k$-space…

We prove that a Tychonoff space $X$ is (sequentially) Ascoli iff for every compact space $K$ (resp., for a convergent sequence $\mathbf{s}$), each separately continuous $k$-continuous function $\Phi:X\times K\to \mathbb{R}$ is continuous.…

Let G be a group and let O_G denote the set of left orderings on G. Then O_G can be topologized in a natural way, and we shall study this topology to answer three conjectures. In particular we shall show that O_G can never be countably…

We prove that each non-metrizable sequential rectifiable space $X$ of countable $cs^*$-character contains a clopen rectifiable submetrizable $k_\omega$-subspace $H$ and admits an open disjoint cover by subspaces homeomorphic to clopen…

Motivated by well known results in low-dimensional topology, we introduce and study a topology on the set CO(G) of all left-invariant circular orders on a fixed countable and discrete group G. CO(G) contains as a closed subspace LO(G), the…

Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add…

The main result of this paper is that, under PFA, for every {\em regular} space $X$ with $F(X) = \omega$ we have $|X| \le w(X)^\omega$; in particular, $w(X) \le \mathfrak{c}$ implies $|X| \le \mathfrak{c}$. This complements numerous prior…

The goal of this paper is to show the following result: For every integer $n\geq 2$ there is a countable orderable group such that its space of orders is countable and has Cantor-Bendixson rank $n$. We show this by explicitly constructing a…

Within the framework of Zermelo-Fraenkel set theory without the Axiom of Choice, we establish equivalents to the assertion "the union of a countable collection of finite sets is countable" in the context of metric spaces, probability…

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…

A topological space $X$ is called almost discretely Lindel\"of if every discrete set $D \subset X$ is included in a Lindel\"of subspace of $X$. We say that the space $X$ is {\em $\mu$-sequential} if for every non-closed set $A \subset X$…

For a quantale ${\sf{V}}$, the category $\sf V$-${\bf Top}$ of ${\sf{V}}$-valued topological spaces may be introduced as a full subcategory of those ${\sf{V}}$-valued closure spaces whose closure operation preserves finite joins. In…

In this paper, the class of all linearly ordered topological spaces (LOTS) quasi-ordered by the embeddability relation is investigated. In ZFC it is proved that for countable LOTS this quasi-order has both a maximal (universal) element and…

A central topic in mathematical logic is the classification of theorems from mathematics in hierarchies according to their logical strength. Ideally, the place of a theorem in a hierarchy does not depend on the representation (aka coding)…

We study the reverse mathematics of the theory of countable second-countable topological spaces, with a focus on compactness. We show that the general theory of such spaces works as expected in the subsystem $\mathsf{ACA}_0$ of second-order…

What topological spaces can be partitioned into copies of the Cantor space $2^\omega$? An obvious necessary condition is that a space can be partitioned into copies of $2^\omega$ only if it can be covered with copies of $2^\omega$. We prove…

A set of sequences is said to converge simultaneously if there exists an infinite subset $H$ of the index set $\omega$ such that all sequences converge when restricted to $H$. We discuss simultaneous convergence of sequences in the same or…

We characterize the points that satisfy Birkhoff's ergodic theorem under certain computability conditions in terms of algorithmic randomness. First, we use the method of cutting and stacking to show that if an element x of the Cantor space…