Re: Replacement of Cardinality

Le 03/08/2024 à 19:42, joes a écrit :

Am Sat, 03 Aug 2024 14:25:03 +0000 schrieb WM:

Here is the correct definition:
There exist NUF(x) unit fractions u, such that for all y >= x: u < y.
Note that the order is ∃ u ∀ y.

You are specifying an exact number, not only at least one.

Yes.

NUF(x) = ℵ₀ for all x > 0 is wrong. NUF(x) = 1 for all x > 0 already is
wrong since there is no unit fraction smaller than all unit fractions.

New sig.

Any problems with this definition? The reversed quantification is nonsense because ℵ₀ unit fractions need ℵ₀*2^ℵ₀ points above zero.
Regards, WM