Remainders in compactifications and generalized metrizability properties

When does a Tychonoff space X have a Hausdorff compactification with the remainder belonging to a given class of spaces? A classical theorem of Henriksen and Isbell and certain theorems, involving a new completeness type property introduced below, are applied to obtain new results on remainders of topological spaces and groups. In particular, some strong necessary conditions for a topological group to have a metrizable remainder, or a paracompact p-remainder, are established (the group itself turns out to be a paracompact p-space (Theorem 4.8)). It follows that if a non-locally compact topological group G is metrizable at infinity, then G is a Lindelöf p-space, and the Souslin number of G is countable (Corollary 4.10). This solves Problem 10.28 from [M. Hušek, J. van Mill (Eds.), Recent Progress in General Topology, vol. 2, North-Holland, 2002, pp. 1–57].