It follows from Stone Duality that Hochster's results on the relation between spectral spaces and prime spectra of rings translate into analogous, formally stronger results concerning coherent frames and frames of radical ideals of rings. Here, we show that the latter can actually be obtained without Stone Duality, proving them in Zermelo-Fraenkel set theory and thereby sharpening the original results of Hochster.

In ZF, i.e., the Zermelo-Fraenkel set theory minus the Axiom of Choice AC, we investigate the relationship between the Tychonoff product $2^{\left(X\right)}$, where 2 is 2 = 0,1 with the discrete topology, and the Stone space S(X) of the Boolean algebra of all subsets of X, where X = ω,ℝ. We also study the possible placement of well-known topological statements which concern the cited spaces in the hierarchy of weak choice principles.

We study the relation between the Hurewicz and Menger properties of filters considered topologically as subspaces of $𝒫\left(\omega \right)$ with the Cantor set topology.

The class of Hausdorff spaces (or of Tychonoff spaces) which admit a Hausdorff (respectively Tychonoff) sequentially compact extension has not been characterized. We give some new conditions, in particular, we prove that every Tychonoff locally sequentially compact space has a Tychonoff one-point sequentially compact extension. We also give some results about extension of functions and about lattice properties of the family of all minimal sequentially compact extensions of a given space.

For a free ultrafilter $p$ on $\mathbb{N}$, the concepts of strong pseudocompactness, strong $p$-pseudocompactness and pseudo-$\omega$-boundedness were introduced in [Angoa J., Ortiz-Castillo Y.F., Tamariz-Mascarúa A., Ultrafilters and properties related to compactness, Topology Proc. 43 (2014), 183–200] and [García-Ferreira S., Ortiz-Castillo Y.F., Strong pseudocompact properties of certain subspaces of ${\mathbb{N}}^{*}$, submitted]. These properties in a space $X$ characterize the pseudocompactness of the hyperspace $𝒦\left(X\right)$ of compact subsets...

Let $W$ be the subspace of ${\mathbb{N}}^{*}$ consisting of all weak $P$-points. It is not hard to see that $W$ is a pseudocompact space. In this paper we shall prove that this space has stronger pseudocompact properties. Indeed, it is shown that $W$ is a $p$-pseudocompact space for all $p\in {\mathbb{N}}^{*}$.

We continue an investigation into centered spaces, a generalization of dyadic spaces. The presence of large Cantor cubes in centered spaces is deduced from tightness considerations. It follows that for centered spaces X, πχ(X) = t(X), and if X has uncountable tightness, then t(X) = supκ : $2^{\kappa }$ ⊂ X. The relationships between 9 popular cardinal functions for the class of centered spaces are justified. An example is constructed which shows, unlike the dyadic and polyadic properties, that the centered...

We consider the spaces called $Seq\left(u_t\right)$, constructed on the set $Seq$ of all finite sequences of natural numbers using ultrafilters $u_t$ to define the topology. For such spaces, we discuss continuity, homogeneity, and rigidity. We prove that $S\left(u_t\right)$ is homogeneous if and only if all the ultrafilters $u_t$ have the same Rudin-Keisler type. We proved that a space of Louveau, and in certain cases, a space of Sirota, are homeomorphic to $Seq\left(p\right)$ (i.e., $u_t=p$ for all $t\in Seq$). It follows that for a Ramsey ultrafilter $p$, $Seq\left(p\right)$ is a topological group....

Given a free ultrafilter $p$ on $\mathbb{N}$ and a space $X$, we say that $x\in X$ is the $p$-limit point of a sequence ${\left(x_n\right)}_{n\in \mathbb{N}}$ in $X$ (in symbols, $x=p$-${lim}_{n\to \infty }{x}_n$) if for every neighborhood $V$ of $x$, $\{n\in \mathbb{N}:x_n\in V\}\in p$. By using $p$-limit points from a suitable metric space, we characterize the selective ultrafilters on $\mathbb{N}$ and the $P$-points of ${\mathbb{N}}^{*}=\beta \left(\mathbb{N}\right)\setminus \mathbb{N}$. In this paper, we only consider dynamical systems $(X,f)$, where $X$ is a compact metric space. For a free ultrafilter $p$ on ${\mathbb{N}}^{*}$, the function $f^p:X\to X$ is defined by $f^p\left(x\right)=p$-${lim}_{n\to \infty }{f}^n\left(x\right)$ for each $x\in X$. These functions are not continuous in general. For a...