Non‐discrete metrics in and some notions of finiteness

Mathematical Logic Quarterly 62 (4-5):383-390 (2016)
  Copy   BIBTEX

Abstract

We show that (i) it is consistent with that there are infinite sets X on which every metric is discrete; (ii) the notion of real infinite is strictly stronger than that of metrically infinite; (iii) a set X is metrically infinite if and only if it is weakly Dedekind‐infinite if and only if the cardinality of the set of all metrically finite subsets of X is strictly less than the size of ; and (iv) an infinite set X is weakly Dedekind‐infinite if and only if has infinite towers if and only if X has countable partitions.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the Referential Indeterminacy of Logical and Mathematical Concepts.Otávio Bueno - 2005 - Journal of Philosophical Logic 34 (1):65 - 79.
Approximation methods in inductive inference.William R. Moser - 1998 - Annals of Pure and Applied Logic 93 (1-3):217-253.
Finiteness Classes and Small Violations of Choice.Horst Herrlich, Paul Howard & Eleftherios Tachtsis - 2016 - Notre Dame Journal of Formal Logic 57 (3):375-388.
Can discrete time make continuous space look discrete?Claudio Mazzola - 2014 - European Journal for Philosophy of Science 4 (1):19-30.
Finiteness Axioms on Fragments of Intuitionistic Set Theory.Riccardo Camerlo - 2007 - Notre Dame Journal of Formal Logic 48 (4):473-488.
On the definition and examples of Finsler metrics.Miguel Angel Javaloyes & Miguel Sanchez - 2014 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 13 (3):813-858.
Some Aspects and Examples of Infinity Notions.J. W. Degen - 1994 - Mathematical Logic Quarterly 40 (1):111-124.
Intuitionistic notions of boundedness in ℕ.Fred Richman - 2009 - Mathematical Logic Quarterly 55 (1):31-36.

Analytics

Added to PP
2017-03-26

Downloads
17 (#846,424)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Consequences of arithmetic for set theory.Lorenz Halbeisen & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):30-40.

Add more references