HFD groups in the Solovay model

Hajnal and Juhász proved that under CH there is a hereditarily separable, hereditarily normal topological group without non-trivial convergent sequences that is countably compact and not Lindelöf. The example constructed is a topological subgroup H⊆ω₁² that is an HFD with the following property

(P)

the projection of H onto every partial product I² for I∈ω[ω₁] is onto.

Any such group has the necessary properties. We prove that if κ is a cardinal of uncountable cofinality, then in the model obtained by forcing over a model of CH with the measure algebra on κ², there is an HFD topological group in ω₁² which has property (P).     

On box products

We prove two theorems about box products. The first theorem says that the box product of countable spaces is pseudonormal, i.e. any two disjoint closed sets one of which is countable can be separated by open sets. The second theorem says that assuming CH a certain uncountable box product is normal (i.e. <_ω1?□_α<ω1X_α where each Xα is a compact metric space).     

Rigid continua and transfinite inductive dimension

We introduce a general method of resolving first countable, compact spaces that allows accurate estimate of inductive dimensions. We apply this method to construct, inter alia, for each ordinal number α>1 of cardinality ?c, a rigid, first countable, non-metrizable continuum Sα with . Sα is the increment in some compactification of [0,1) and admits a fully closed, ring-like map onto a metric continuum. Moreover, every subcontinuum of Sα is separable. Additionally, Sα can be constructed so as to be: (1) a hereditarily indecomposable Anderson-Choquet continuum with covering dimension a given natural number n, provided α>n, (2) a hereditarily decomposable and chainable weak Cook continuum, (3) a hereditarily decomposable and chainable Cook continuum, provided α is countable, (4) a hereditarily indecomposable Cook continuum with covering dimension one, or (5) a Cook continuum with covering dimension two, provided α>2.We also produce a chainable and hereditarily decomposable space Sω(c⁺) with , , trind₀Sω(c⁺) and trInd₀Sω(c⁺) all equal to ω(c⁺), the first ordinal of cardinality c⁺.     

The cardinal characteristic for relative γ-sets

For X a separable metric space define p(X) to be the smallest cardinality of a subset Z of X which is not a relative γ-set in X, i.e., there exists an ω-cover of X with no γ-subcover of Z. We give a characterization of p(ω²) and p(ωω) in terms of definable free filters on ω which is related to the pseudo-intersection number p. We show that for every uncountable standard analytic space X that either p(X)=p(ω²) or p(X)=p(ωω). We show that the following statements are each relatively consistent with ZFC: (a) p=p(ωω)<p(ω²) and (b) p<p(ωω)=p(ω²)     

Selective separability and its variations

A space X is said to be selectively separable (=M-separable) if for each sequence {Dn:n∈ω} of dense subsets of X, there are finite sets Fn⊂Dn (n∈ω) such that ?{Fn:n∈ω} is dense in X. On selective separability and its variations, we show the following: (1) Selective separability, R-separability and GN-separability are preserved under finite unions; (2) Assuming CH (the continuum hypothesis), there is a countable regular maximal R-separable space X such that X² is not selectively separable; (3) c{0,1} has a selectively separable, countable and dense subset S such that the group generated by S is not selectively separable. These answer some questions posed in Bella et al. (2008) [7].     

On the centre and the set of ω-limit points of continuous maps on dendrites

It is well known that for dynamical systems generated by continuous maps of a graph, the centre of the dynamical system is a subset of the set of ω-limit points.In this paper we provide an example of a continuous self-map f₁ of a dendrite such that ω(f₁) is a proper subset of C(f₁).The second example is a continuous self-map f₂ of a dendrite having a strictly increasing sequence of ω-limit sets which is not contained in any maximal one. Again, this is impossible for continuous maps on graphs.     

L-spaces and S-spaces in P(ω)

We show that CH implies that $\text{P}\text{(ω)}$, when equipped with the Vietoris topology, has a subspace which is an L-space and a subspace which is an S-space. This is an immediate consequence of the following purely combinatorial result: CH implies the existence of an ω₁-sequence 〈x_α: α < ω₁〉 in $\text{P}\text{(ω)}$ such that (1) if α<β<ω₁, then $\text{X}{}_{\mathrm{\beta }}\text{?}{}^1\text{X}{}_{\mathrm{\alpha }}$; (2) if I ?ω₁ is unaccountable, then there are distinct α, β ∈ I with X_β ?X_α.     

On the Laczkovich-Komjáth property of sigma-ideals

Komjáth in 1984 proved that, for each sequence (An) of analytic subsets of a Polish space X, if lim supn∈HAn is uncountable for every H∈ω[N] then _?n∈GAn is uncountable for some G∈ω[N]. This fact, by our definition, means that the σ-ideal [X]^?ω has property (LK). We prove that every σ-ideal generated by X/E has property (LK), for an equivalence relation E⊂X² of type Fσ with uncountably many equivalence classes. We also show the parametric version of this result. Finally, the invariance of property (LK) with respect to various operations is studied.     

Set-theoretic constructions of nonshrinking open covers

A family {M_α|α?A} is a shrinking of a cover {O_α|α?A} of a topological space if {M_α|α?A} also covers and M_α?O_α for all α?A.?⁺⁺ implies that there is a normal space such that every increasing open cover of it has a clopen shrinking but there is an open cover having no closed shrinking.? implies that there is a P-space (i.e. a space having a normal product with every metric space), which has an increasing open cover having no closed shrinking. This space is used in [17] to show that any space which has a normal product with every P-space is metrizable.     

On topological spaces of orders

We study the space of linear orders on a given set X, denoted by Op(X), endowed with the topology of pointwise convergence. We show, in particular, that if |X|=ω₁ or |X|=ω₀ then Op(X) is homeomorphic to ω₁² and ω₀², respectively.     

Cofinal types of ultrafilters

We study Tukey types of ultrafilters on ω, focusing on the question of when Tukey reducibility is equivalent to Rudin-Keisler reducibility. We give several conditions under which this equivalence holds. We show that there are only c many ultrafilters that are Tukey below any basically generated ultrafilter. The class of basically generated ultrafilters includes all known ultrafilters that are not Tukey above [ω₁]^<ω. We give a complete characterization of all ultrafilters that are Tukey below a selective. A counterexample showing that Tukey reducibility and RK reducibility can diverge within the class of P-points is also given.     

Pseudocompactness of hyperspaces

We consider the following question of Ginsburg: Is there any relationship between the pseudocompactness ofXωand that of the hyperspaceX²? We do that first in the context of Mrówka-Isbell spaces Ψ(A) associated with a maximal almost disjoint (MAD) family A on ω answering a question of J. Cao and T. Nogura. The space Ψω(A) is pseudocompact for every MAD family A. We show that

(1)

(p=c) ²Ψ(A) is pseudocompact for every MAD family A.

(2)

(h<c) There is a MAD family A such that ²Ψ(A) is not pseudocompact.

We also construct a ZFC example of a space X such that Xω is pseudocompact, yet X² is not.     

Normality and countable paracompactness of hyperspaces of ordinals

For an ordinal α, α² denotes the collection of all nonempty closed sets of α with the Vietoris topology and K(α) denotes the collection of all nonempty compact sets of α with the subspace topology of α². It is well known that α² is normal iff cfα=1. In this paper, we will prove that for every nonzero-ordinal α:

(1)

α² is countably paracompact iff cfα≠ω.

(2)

K(α) is countably paracompact.

(3)

K(α) is normal iff, if cfα is uncountable, then cfα=α.

In (3), we use elementary submodel techniques.     

A first countable linearly Lindelöf not Lindelöf topological space

A topological space X is called linearly Lindelöf if every increasing open cover of X has a countable subcover. It is well known that every Lindelöf space is linearly Lindelöf. The converse implication holds only in particular cases, such as X being countably paracompact or if nw(X)<ℵω.Arhangel?skii and Buzyakova proved that the cardinality of a first countable linearly Lindelöf space does not exceed ℵ₀². Consequently, a first countable linearly Lindelöf space is Lindelöf if ℵω>ℵ₀². They asked whether every linearly Lindelöf first countable space is Lindelöf in ZFC. This question is supported by the fact that all known linearly Lindelöf not Lindelöf spaces are of character at least ℵω. We answer this question in the negative by constructing a counterexample from MA+ℵω<ℵ₀².A modification of Alster?s Michael space that is first countable is presented.     

On hereditarily strong Σ-spaces

In this paper the structure of hereditarily strong Σ-spaces (hsΣ-spaces, for short) is dealt with. The main result asserts that an hsΣ-space is the disjoint union of two σ subspaces one of which is an F_σ, the other a G_δ subset. Examples are given that in many ways, this decomposition cannot be improved. Then we investigate the question when an hsΣ-space is a σ-space. It is shown that a GO-space (or a first countable compactum) is metrizable iff it is an hsΣ-space, thereby proving a conjecture of J. van Wouwe. σ-spaces are characterized as being identical with perfect hsΣ-spaces. The question whether a Lindelöf, first countable hsΣ-space is a σ-space is shown to be independent of set theory. A characterization of hsΣ-spaces with no compact subsets of cardinality >2^ω is given.     

o-Boundedness of free topological groups

Assuming the absence of Q-points (which is consistent with ZFC) we prove that the free topological group F(X) over a Tychonov space X is o-bounded if and only if every continuous metrizable image T of X satisfies the selection principle fin_?(O,Ω) (the latter means that for every sequence 〈un〉_n∈ω of open covers of T there exists a sequence 〈vn〉_n∈ω such that vn∈[un]^<ω and for every F∈[X]^<ω there exists n∈ω with F⊂?vn). This characterization gives a consistent answer to a problem posed by C. Hernándes, D. Robbie, and M. Tkachenko in 2000.     

Resolvability vs. almost resolvability

A space X is κ-resolvable (resp. almost κ-resolvable) if it contains κ dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X).Answering a problem raised by Juhász, Soukup, and Szentmiklóssy, and improving a consistency result of Comfort and Hu, we prove, in ZFC, that for every infinite cardinal κ there is an almost κ²-resolvable but not ω₁-resolvable space of dispersion character κ.     

Products without remote points

It is shown that ω × Y^ω does not have remote points if Y is a compact space with cellularity larger than ω₁. It is also shown that it is consistent that ω × Y^ω does not have remote points if Y is compact with uncountable cellularity. As an application we construct a compact space with weight ω₂ · c which can be covered by nowhere dense P-sets and a compact space with weight c for which it is independent that it can be covered by nowhere dense P-sets.     

On dimensional properties of the generalized Smirnov's spaces

We show that the transfinite inductive dimensions modulo PP-trind and P-trInd introduced in M.G. Charalambous (1997) [2] differ by simple spaces, where P is the absolutely additive Borel class A(α) or the absolutely multiplicative Borel class M(α), 0?α<ω₁.     

Multiple zeta functions and asymptotic structure of free Abelian groups of finite rank

We define the multiple zeta function of the free Abelian group Z^d as

ζ_Z^d(s₁,…,s_d)=∑_|Z^d:H|<∞α₁(H)^−s₁?α_d(H)^−s_d,