Non-discrete metrics in and some notions of finiteness

DOI10.1002/malq.201300054zbMath1367.03087OpenAlexW2460812809MaRDI QIDQ2827951

Kyriakos Keremedis

Publication date: 24 October 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201300054

zbMATH Keywords

metric spacesaxiom of choicenotions of finite

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Related Items (4)

On pseudocompactness and light compactness of metric spaces in $\mathbf {ZF}$ ⋮ On extensions of countable filterbases to ultrafilters and ultrafilter compactness ⋮ Second-countable compact Hausdorff spaces as remainders in \textbf{ZF} and two new notions of infiniteness ⋮ Denumerable cellular families in \(\mathbf{ZF}\)

Cites Work

• The independence of various definitions of finiteness
• Definitions of finite
• Classes of Dedekind finite cardinals
• Consequences of arithmetic for set theory

This page was built for publication: Non-discrete metrics in and some notions of finiteness