Several results on compact metrizable spaces in \(\mathbf{ZF} \)

DOI10.1007/s00605-021-01582-0zbMath1486.03081arXiv2008.01233MaRDI QIDQ2049538

Eleftherios Tachtsis, Kyriakos Keremedis, Eliza Wajch

Publication date: 27 August 2021

Published in: Monatshefte für Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

compact space; metrizable space; symmetric model; totally bounded metric; permutation model; weak forms of axiom of choice

Mathematics Subject Classification ID

54D30: Compactness

54E35: Metric spaces, metrizability

03E35: Consistency and independence results

54A35: Consistency and independence results in general topology

03E25: Axiom of choice and related propositions