If a separable dense in itself metric space is not a union of countably many nowhere dense subsets, then its $C_p$-space is not subsequential.

In this paper we complete the characterization of those $f$, $\mu$ and $\nu$ such that $${\parallel w\parallel }_{H^1(\mathrm{\Omega })}^2+{\int }_{B}f(x,w(x))d\mu +\nu (B)$$ is $\mathrm{\Gamma }(L^2{(\mathrm{\Omega })}^{-})$ limit of a sequence of obstacles ${\parallel w\parallel }_{H^1(\mathrm{\Omega })}^2+{\mathrm{\Phi }}_h(w,B)$ where

Some results on cleavability theory are presented. We also show some new [16]'s results.

We prove some closed mapping theorems on $k$-spaces with point-countable $k$-networks. One of them generalizes Lašnev’s theorem. We also construct an example of a Hausdorff space $Ur$ with a countable base that admits a closed map onto metric space which is not compact-covering. Another our result says that a $k$-space $X$ with a point-countable $k$-network admitting a closed surjection which is not compact-covering contains a closed copy of $Ur$.

Fréchet, strongly Fréchet, productively Fréchet, weakly bisequential and bisequential filters (i.e., neighborhood filters in spaces of the same name) are characterized in a unified manner in terms of their images in the Stone space of ultrafilters. These characterizations involve closure structures on the set of ultrafilters. The case of productively Fréchet filters answers a question of S. Dolecki and turns out to be the only one involving a non topological closure structure.

We introduce the notion of a coherent $P$-ultrafilter on a complete ccc Boolean algebra, strengthening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under $𝔠=𝔡$. This improves the known existence result of Ketonen [On the existence of $P$-points in the Stone-Čech compactification of integers, Fund. Math. 92 (1976), 91–94]. Similarly, the existence theorem of Canjar [On the generic existence of special ultrafilters, Proc. Amer. Math. Soc. 110 (1990), no. 1, 233–241] can...

We characterize exactly the compactness properties of the product of κ copies of the space ω with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard elements in elementary extensions. We also have results involving products of possibly uncountable regular cardinals.