Second-countable compact Hausdorff spaces as remainders in ZF and two new notions of infiniteness

Abstract

In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in ZF. Among other independence results, the characterization of locally compact Hausdorff spaces having all non-empty metrizable compact spaces as remainders, obtained by Hatzenbuhler and Mattson in ZFC, is proved to be independent of ZF. Urysohn's Metrization Theorem is generalized. New concepts of a strongly filterbase infinite set and a dyadically filterbase infinite set are introduced, both stemming from the investigations on compactifications. Set-theoretic and topological definitions of the new concepts are given, and their relationship with certain known notions of infinite sets is investigated in ZF. A new permutation model is introduced in which there exists a strongly filterbase infinite set which is weakly Dedekind-finite.