It was proved by Juhász and Weiss that for every ordinal α with $0<\alpha <{\omega }_2$ there is a superatomic Boolean algebra of height α and width ω. We prove that if κ is an infinite cardinal such that ${\kappa }^{<\kappa }=\kappa$ and α is an ordinal such that $0<\alpha <{\kappa }^{++}$, then there is a cardinal-preserving partial order that forces the existence of a superatomic Boolean algebra of height α and width κ. Furthermore, iterating this forcing through all $\alpha <{\kappa }^{++}$, we obtain a notion of forcing that preserves cardinals and such that in the corresponding generic...

Let G(X) denote the smallest (von Neumann) regular ring of real-valued functions with domain X that contains C(X), the ring of continuous real-valued functions on a Tikhonov topological space (X,τ). We investigate when G(X) coincides with the ring $C(X,{\tau }_{\delta })$ of continuous real-valued functions on the space $(X,{\tau }_{\delta })$, where ${\tau }_{\delta }$ is the smallest Tikhonov topology on X for which $\tau \subseteq {\tau }_{\delta }$ and $C(X,{\tau }_{\delta })$ is von Neumann regular. The compact and metric spaces for which $G\left(X\right)=C(X,{\tau }_{\delta })$ are characterized. Necessary, and different sufficient, conditions...

A space $X$ is functionally countable if $f\left(X\right)$ is countable for any continuous function $f:X\to ℝ$. We will call a space $X$ exponentially separable if for any countable family $ℱ$ of closed subsets of $X$, there exists a countable set $A\subset X$ such that $A\cap \bigcap 𝒢\ne \varnothing$ whenever $𝒢\subset ℱ$ and $\bigcap 𝒢\ne \varnothing$. Every exponentially separable space is functionally countable; we will show that for some nice classes of spaces exponential separability coincides with functional countability. We will also establish that the class of exponentially separable spaces has...

We show that every Lipschitz map defined on an open subset of the Banach space C(K), where K is a scattered compactum, with values in a Banach space with the Radon-Nikodym property, has a point of Fréchet differentiability. This is a strengthening of the result of Lindenstrauss and Preiss who proved that for countable compacta. As a consequence of the above and a result of Arvanitakis we prove that Lipschitz functions on certain function spaces are Gâteaux differentiable.

Let $(L,\le )$, be an algebraic lattice. It is well-known that $(L,\le )$ with its topological structure is topologically scattered if and only if $(L,\le )$ is ordered scattered with respect to its algebraic structure. In this note we prove that, if $L$ is a distributive algebraic lattice in which every element is the infimum of finitely many primes, then $L$ has Krull-dimension if and only if $L$ has derived dimension. We also prove the same result for $errorL$, the set of all prime elements of $L$. Hence the dimensions on the lattice...

We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most ${\left(2^{\aleph ₀}\right)}^V$ levels of size ω. We also give a complete ZFC characterization of the cardinal sequences of regular scattered spaces. Although the classes of regular and of 0-dimensional scattered spaces are different, we prove that they have the same cardinal sequences.

Let (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put ${}_{\lambda }\left(\alpha \right)=s\in \left(\alpha \right):s\left(0\right)=\lambda =min\left[s\right(\beta ):\beta <\alpha ]$. We show that f ∈ (α) iff for some natural number n there are infinite cardinals $\lambda ₀i>\lambda ₁>...>{\lambda }_{n-1}$ and ordinals $\alpha ₀,...,{\alpha }_{n-1}$ such that $\alpha =\alpha ₀+\cdots +{\alpha }_{n-1}$ and $f=f₀⏜f₁⏜...⏜f_{n-1}$ where each $f_i{\in }_{{\lambda }_i}\left({\alpha }_i\right)$. Under GCH we prove that if α < ω₂ then (i) ${}_{\omega }\left(\alpha \right)=s{\in }^{\alpha }\omega ,\omega ₁:s\left(0\right)=\omega$; (ii) if λ > cf(λ) = ω, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega ₁-closedin\alpha$; (iii) if cf(λ) = ω₁, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega -closedandsuccessor-closedin\alpha$; (iv) if cf(λ) > ω₁, ${}_{\lambda }\left(\alpha \right){=}^{\alpha }\lambda$. This yields a complete characterization of the classes (α) for all α < ω₂,...

We consider the cardinal sequences of compact scattered spaces in models where CH is false. We describe a number of models of $2^{\aleph ₀}=\aleph ₂$ in which no such space can have ℵ₂ countable levels.

This is an expository paper about constructions of locally compact, Hausdorff, scattered spaces whose Cantor-Bendixson height has cardinality greater than their Cantor-Bendixson width.

We show that: (1) It is provable in ZF (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC) that every compact scattered T₂ topological space is zero-dimensional. (2) If every countable union of countable sets of reals is countable, then a countable compact T₂ space is scattered iff it is metrizable. (3) If the real line ℝ can be expressed as a well-ordered union of well-orderable sets, then every countable compact zero-dimensional T₂ space...

A space X is called an α-Toronto space if X is scattered of Cantor-Bendixson rank α and is homeomorphic to each of its subspaces of the same rank. We answer a question of Steprāns by constructing a countable α-Toronto space for each α ≤ ω. We also construct consistent examples of countable α-Toronto spaces for each $\alpha <{\omega }_1$.

For a transfinite cardinal κ and i ∈ 0,1,2 let ${ℒ}_i\left(\kappa \right)$ be the class of all linearly ordered spaces X of size κ such that X is totally disconnected when i = 0, the topology of X is generated by a dense linear ordering of X when i = 1, and X is compact when i = 2. Thus every space in ℒ₁(κ) ∩ ℒ₂(κ) is connected and hence ℒ₁(κ) ∩ ℒ₂(κ) = ∅ if $\kappa <2^{\aleph ₀}$, and ℒ₀(κ) ∩ ℒ₁(κ) ∩ ℒ₂(κ) = ∅ for arbitrary κ. All spaces in ℒ₁(ℵ₀) are homeomorphic, while ℒ₂(ℵ₀) contains precisely ℵ₁ spaces up to homeomorphism. The class ℒ₁(κ)...

In this paper, we discuss covering properties in countable products of Čech-scattered spaces and prove the following: (1) If $Y$ is a perfect subparacompact space and $\{X_n:n\in \omega \}$ is a countable collection of subparacompact Čech-scattered spaces, then the product $Y\times {\prod }_{n\in \omega }{X}_n$ is subparacompact and (2) If $\{X_n:n\in \omega \}$ is a countable collection of metacompact Čech-scattered spaces, then the product ${\prod }_{n\in \omega }{X}_n$ is metacompact.

2000 Mathematics Subject Classification: 54C10, 54D15, 54G12.For given completely regular topological spaces X and Y, there is a completely regular space X ~⊗ Y such that for any completely regular space Z a mapping f : X × Y ⊗ Z is separately continuous if and only if f : X ~⊗ Y→ Z is continuous. We prove a necessary condition of normality, a sufficient condition of collectionwise normality, and a criterion of normality of the products X ~⊗ Y in the case when at least one factor is scattered.

Let $X$ be a Hausdorff space and let $\mathscr{H}$ be one of the hyperspaces $CL\left(X\right)$, $𝒦\left(X\right)$, $ℱ\left(X\right)$ or ${ℱ}_n\left(X\right)$ ($n$ a positive integer) with the Vietoris topology. We study the following disconnectedness properties for $\mathscr{H}$: extremal disconnectedness, being a $F^{\text{'}}$-space, $P$-space or weak $P$-space and hereditary disconnectedness. Our main result states: if $X$ is Hausdorff and $F\subset X$ is a closed subset such that (a) both $F$ and $X-F$ are totally disconnected, (b) the quotient $X/F$ is hereditarily disconnected, then $𝒦\left(X\right)$ is hereditarily disconnected. We also...

We show that exponential separability is an inverse invariant of closed maps with countably compact exponentially separable fibers. This implies that it is preserved by products with a scattered compact factor and in the products of sequential countably compact spaces. We also provide an example of a $\sigma$-compact crowded space in which all countable subspaces are scattered. If $X$ is a Lindelöf space and every $Y\subset X$ with $\left|Y\right|\le 2^{{\omega }_1}$ is scattered, then $X$ is functionally countable; if every $Y\subset X$ with $\left|Y\right|\le 2^{𝔠}$ is scattered, then...

It is proved that every non trivial continuous map between the sets of extremal elements of monotone sequential cascades can be continuously extended to some subcascades. This implies a result of Franklin and Rajagopalan that an Arens space cannot be continuously non trivially mapped to an Arens space of higher rank. As an application, it is proved that if for a filter $\mathscr{H}$ on $\omega$, the class of $\mathscr{H}$-radial topologies contains each sequential topology, then it includes the class of subsequential topologies....