Sujet : Re: Replacement of Cardinality
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logic sci.mathDate : 05. Aug 2024, 20:04:14
Autres entêtes
Organisation : Nemoweb
Message-ID : <X_M4Fh6ty-vEi1nwWkFJ9udvMEg@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 04/08/2024 à 22:16, Jim Burns a écrit :
On 8/4/2024 2:13 PM, WM wrote:
More of interest are these two claims which are
not both true or both false:
For every x there is u < x.
There is u < x for every x.
The latter is close to my function:
There are NUF(x) u < x.
From ∀x∃U to ∃U∀x is unreliable,
There is no from to. NUF(x) is so defined.
For every number of unit fractions NUF(x) gives the smallest interval (0, x).
Regards, WM