Related papers: Functional countability and exponential separabili…

We continue the investigation of the question of whether the product of two countable Fr\'echet spaces must be M-separable. We are especially interested in this question in the presence of Martin's Axiom. The question has been shown to be…

A regular separable first-countable countably compact space is called a Nyikos space. In this paper, we give a partial solution to an old problem of Nyikos by showing that each locally compact Nyikos inverse topological semigroup is…

We show that the product of any number of sequentially pseudocompact topological spaces is still sequentially pseudocompact. The definition of sequential pseudocompactness can be given in (at least) two ways: we show their equivalence. Some…

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

For a Tychonoff space $X$ and a family $\lambda$ of subsets of $X$, we denote by $C_{\lambda}(X)$ the $T_1$-space of all real-valued continuous functions on $X$ with the $\lambda$ -open topology. A topological space is productively…

Let $\Gamma$ be a Polish space and let $K$ be a separable and pointwise compact set of real-valued functions on $\Gamma$. It is shown that if each function in $K$ has only countably many discontinuities then $C(K)$ may be equipped with a…

In this paper we study the property of separability of functional space with the open-point and bi-point-open topologies.

Dimensional types of metric scattered spaces are investigated. Revised proofs of Mazurkiewicz-Sierpi\'nski and Knaster-Urbanik theorems are presented. Embeddable properties of countable metric spaces are generalized onto uncountable metric…

In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet…

In this paper, we continue the investigation of topological properties of unbounded norm (un-)topology in normed lattices. We characterize separability and second countability of un-topology in terms of properties of the underlying normed…

A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n…

A product of compact normal spaces is normal; the product of a countably infinite collection of non-trivial spaces is normal if and only if it is countably paracompact and each of its finite sub-products is normal; if all powers of a space…

Kawamura and Cook have developed a framework for studying the computability and complexity theoretic problems over "large" topological spaces. This framework has been applied to study the complexity of the differential operator and the…

The countable uniform power (or uniform box product) of a uniform space $X$ is a special topology on ${}^{\omega}X$ that lies between the Tychonoff topology and the box topology. We solve an open problem posed by P. Nyikos showing that if…

While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…

We prove that every continuous function $f:E\to Y$ depends on countably many coordinates, if $E$ is an $(\aleph_1,\aleph_0)$-invariant pseudo-$\aleph_1$-compact subspace of a product of topological spaces and $Y$ is a space with a regular…

We show that, under suitably general formulations, covering properties, accumulation properties and filter convergence are all equivalent notions. This general correspondence is exemplified in the study of products. Let $X$ be a product of…

A topological space $X$ is $\mathbb R^{\omega_1}$-factorizable if any continuous function $f\colon X\to \mathbb R^{\omega_1}$ factors through a continuous function from $X$ to a second-countable space. It is shown that a Tychonoff space $X$…

This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…