A space X is truly weakly pseudocompact if X is either weakly pseudocompact or Lindelöf locally compact. We prove: (1) every locally weakly pseudocompact space is truly weakly pseudocompact if it is either a generalized linearly ordered space, or a protometrizable zero-dimensional space with χ(x,X) > ω for every x ∈ X; (2) every locally bounded space is truly weakly pseudocompact; (3) for ω < κ...

Every pseudocompact Abelian group of uncountable weight has both a proper dense pseudocompact subgroup and a strictly finer pseudocompact group topology.

Maximal pseudocompact spaces (i.e. pseudocompact spaces possessing no strictly stronger pseudocompact topology) are characterized. It is shown that submaximal pseudocompact spaces whose pseudocompact subspaces are closed need not be maximal pseudocompact. Various techniques for constructing maximal pseudocompact spaces are described. Maximal pseudocompactness is compared to maximal feeble compa...

We show that every Abelian group satisfying a mild cardinal inequality admits a pseudocompact group topology from which all countable subgroups inherit the maximal totally bounded topology (we say that such a topology satisfies property ♯). This criterion is used in conjunction with an analysis of the algebraic structure of pseudocompact groups to obtain, under the Generalized Continuum Hypothe...

Here are three recently-established theorems from the literature. (A) (2006) Every non-metrizable compact abelian group K has 2|K|-many proper dense pseudocompact subgroups. (B) (2003) Every non-metrizable compact abelian group K admits 22 |K| -many strictly finer pseudocompact topological group refinements. (C) (2007) Every non-metrizable pseudocompact abelian group has a proper dense pseudoco...

Let α be an infinite cardinal. Generalizing a recent result of Comfort and van Mill, we prove that every α-pseudocompact abelian group of weight > α has some proper dense α-pseudocompact subgroup and admits some strictly finer α-pseudocompact group topology. AMS classification numbers: Primary 22B05, 22C05, 40A05; Secondary 43A70, 54A20.

The authors have shown [Proc. Amer. Math. Soc. 135 (2007), 4039– 4044] that every nonmetrizable, pseudocompact abelian group has both a proper dense pseudocompact subgroup and a strictly finer pseudocompact group topology. Here they give a comprehensive, direct and self-contained proof of this result.

The least cardinal λ such that some (equivalently: every) compact group with weight α admits a dense, pseudocompact subgroup of cardinality λ is denoted by m(α). Clearly, m(α) ≤ 2. We show: Theorem 3.3. Among groups of cardinality γ, the group ⊕γQ serves as a “test space” for the availability of a pseudocompact group topology in this sense: If m(α) ≤ γ ≤ 2 then ⊕γQ admits a (necessarily connect...

Within the class of Tychonoff spaces, and within the class of topological groups, most of the natural questions concerning ‘productive closure’ of the subclasses of countably compact and pseudocompact spaces are answered by the following three well-known results: (1) [ZFC] There is a countably compact Tychonoff space X such that X XX is not pseudocompact; (2) [ZFC] The product of any set of pse...

Several months ago the speaker and Jan van Mill gave a proof of this result [W.W. Comfort, J. van Mill, Extremal pseudocompact abelian groups are compact metrizable, Abstracts Amer. Math. Soc. 27 (2006) 78 (Abstract #1014-22-958); W.W. Comfort, J. van Mill, Extremal pseudocompact abelian groups are compact metrizable, Proc. Amer. Math. Soc. 135 (2007) 4039–4044]: A pseudocompact abelian group o...