Completeness type properties, products, and group remainders

In this paper, a collection of completeness type properties of topological spaces is introduced. They are determined by families of open covers. It is shown that some of the completeness type properties imply isocompactness, and that some of them are productive. This allows to specify new cases when closed pseudocompact subsets of topological spaces are compact. The completeness type properties are also considered below in connection with group extensions of topological groups.