Related papers: First countability, $\omega$-well-filtered spaces …
We show that for every $d\ge 1$, if $L_1,\ldots, L_d$ are linearly ordered compact spaces and there is a continuous surjection \[ L_1\times L_2\times \dots\times L_d\to K_1\times K_2\times\ldots\times K_{d}\times K_{d+1},\] where all the…
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…
We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve…
A topological space $X$ is called submaximal if every dense subset of $X$ is open. In this paper, we show that if $\beta X$, the Stone-\v{C}ech compactification of $X$, is a submaximal space, then $X$ is a compact space and hence $\beta…
Local versions of measurability have been around for a long time. Roughly, one splits the notion of $\mu $-completeness into pieces, and asks for a uniform ultrafilter over $\mu $ satisfying just some piece of $\mu $-completeness. Analogue…
In this paper, we mainly study the function spaces related to H-sober spaces. For an irreducible subset system H and $T_{0}$ spaces $X$ and $Y$, it is proved that $Y$ is H-sober iff the function space $\mathbb{C}(X, Y)$ of all continuous…
A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…
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…
We give a combinatorial characterization of countable submaximal subspaces of $2^\kappa$. Using a parametrized version of Mathias forcing, we prove that there exists a countable submaximal subspace of $2^{\omega_1}$ whilst…
We present initial limit Datalog, a new extensible class of constrained Horn clauses for which the satisfiability problem is decidable. The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types)…
Orderability, weak orderability and the existence of continuous weak selections on filter spaces (i.e., spaces with a single non-isolated point) and their products are discussed. We prove that a closed continuous image X of a suborderable…
We prove that a compact space is monotonically Sokolov if and only if it is monotonically $\omega$-monolithic. This gives answers to several questions of R. Rojas-Hernandez and V. V. Tkachuk.
Assuming that there is a stationary set in $\omega_{2}$ of ordinals of countable cofinality that does not reflect, we prove that there exists a compact space which is not Corson compact and whose all continuous images of weight at most…
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…
We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…
Given a topological property $P$, we say that the space $X$ is $P$-generated if for any subset $A\subset X$ that is not open in $X$ there is a subspace $Y \subset X$ with property $P$ such that $A\cap Y$ is not open in $Y$. (Of course, in…
In this paper, constructing a class of ideals of $B_1(X)$ from proper ideals of $C(X)$ a one-one correspondence between the class of real maximal ideals of $C(X)$ and those of $B_1(X)$ is established. The collection of all real maximal…
Improving a result of M. Rabus we force a normal, locally compact, 0-dimensional,Frechet-Uryson, initially omega_1-compact and non-compact space X of size omega_2 having the following property: for every open (or closed) set A in X we have…
We prove that if $X$ and $Y$ are first countable compact Hausdorff spaces, then the set of all diameter-preserving linear bijections from $C(X)$ to $C(Y)$ is algebraically reflexive.
A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected first countable space is the image of a nonseparably connected complete metric space…