Related papers: Products of Lindel\"of spaces with points $G_\delt…

By an omega_1 --tree we mean a tree of size omega_1 and height omega_1. An omega_1 --tree is called a Kurepa tree if all its levels are countable and it has more than omega_1 branches. An omega_1 --tree is called a Jech--Kunen tree if it…

We give easy proofs that a) the Continuum Hypothesis implies that if the product of X with every Lindelof space is Lindelof, then X is a D-space, and b) Borel's Conjecture implies every Rothberger space is Hurewicz.

We prove that every Lindel\"of scattered subspace of a $\Sigma$-product of first-countable spaces is $\sigma$-compact. In particular, we obtain the result stated in the title. This answers some questions of Tkachuk from [Houston J. Math. 48…

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…

Two-dimensional version of the classical Mycielski theorem says that for every comeager or conull set $X\subseteq [0,1]^2$ there exists a perfect set $P\subseteq [0,1]$ such that $P\times P\subseteq X\cup \Delta$. We consider…

We prove that if $X$ is a regular space with no uncountable free sequences, then the tightness of its $G_\delta$ topology is at most continuum and if $X$ is in addition Lindel\"of then its $G_\delta$ topology contains no free sequences of…

Lindel\"of topological groups $G_1$ , $H_1$, $G_2$, $H_2$ are constructed in such a way that the products of $G_1 \times H_1$ and $G_2 \times H_2$ are not $\mathbb R$-factorizable groups and (1) the group $G_1 \times H_1$ is not…

We study products of general topological spaces with Menger's covering property, and its refinements based on filters and semifilters. To this end, we extend the projection method from the classic real line topology to the Michael topology.…

We study productive properties of gamma spaces, and their relation to other, classic and modern, selective covering properties. Among other things, we prove the following results: 1. Solving a problem of F. Jordan, we show that for every…

We prove existence and up to the boundary regularity estimates in $L^{p}$ and H\"{o}lder spaces for weak solutions of the linear system $$ \delta \left( A d\omega \right) + B^{T}d\delta \left( B\omega \right) = \lambda B\omega + f \text{ in…

Two (strongly) zero-dimensional Lindel\"of topological groups whose product has positive covering dimension are constructed. An example of a Lindel\"of (strongly) zero-dimensional space whose free and free Abelian topological groups are not…

We prove that under certain set-theoretic assumptions every productively Lindel\"of space has the Hurewicz covering property, thus improving upon some earlier results of Aurichi and Tall.

Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal…

We prove that if $T_1,\dots, T_n$ is a sequence of bounded degree trees so that $T_i$ has $i$ vertices, then $K_n$ has a decomposition into $T_1,\dots, T_n$. This shows that the tree packing conjecture of Gy\'arf\'as and Lehel from 1976…

We obtain a far-reaching generalization (in several directions) of the theorem of A. Lambert on the existence of the projective tensor product of operator sequence spaces. This result is obtained in the context of spaces, generalizing…

We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging omega-sequence or a non-trivial converging omega_1-sequence. We establish that this dichotomy holds in a variety of models;…

For a Urysohn space $X$ we define the regular diagonal degree $\overline{\Delta}(X)$ of $X$ to be the minimal infinite cardinal $\kappa$ such that $X$ has a regular $G_\kappa$-diagonal i.e. there is a family $(U_\eta:\eta<\kappa)$ of open…

We prove that if K is a Gruenhage compact space then C(K)* admits an equivalent, strictly convex dual norm. As a corollary, we show that if X is a Banach space and X* is the |.|-closed linear span of K, where K is a Gruenhage compact in the…

We consider a transitive relation on the power set of $\omega_1$ and show if there is a maximal element with respect to this relation then there is a Kurepa tree with no Aronszajn subtree. We also show that if there is a maximal subset of…

Assuming $\diamondsuit$, we construct a $T_2$ example of a hereditarily Lindel\"of space of size $\omega_1$ which is not a $D$-space. The example has the property that all finite powers are also Lindel\"of.