On subcompactness and countable subcompactness of metrizable spaces in ZF

DOI10.14712/1213-7243.2022.018MaRDI QIDQ5045812

Kyriakos Keremedis

Publication date: 7 November 2022

Published in: Commentationes Mathematicae Universitatis Carolinae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2102.11243

zbMATH Keywords

compact; countably compact; axiom of choice; subcompact; countably subcompact; lightly compact metric space

Mathematics Subject Classification ID

54E50: Complete metric spaces

54D30: Compactness

54E35: Metric spaces, metrizability

54E45: Compact (locally compact) metric spaces

03E25: Axiom of choice and related propositions