Re: Replacement of Cardinality

Liste des GroupesRevenir à s math 
Sujet : Re: Replacement of Cardinality
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.math
Date : 04. Aug 2024, 16:44:45
Autres entêtes
Organisation : Nemoweb
Message-ID : <gLCi-GDsUAMOhKbDU9ubzvZPuAc@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
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

Date Sujet#  Auteur
27 Jul 24 * Re: Replacement of Cardinality876Jim Burns
28 Jul 24 +* Re: Replacement of Cardinality866WM
28 Jul 24 i`* Re: Replacement of Cardinality865Jim Burns
29 Jul 24 i +* Re: Replacement of Cardinality33Ross Finlayson
29 Jul 24 i i`* Re: Replacement of Cardinality32Ross Finlayson
29 Jul 24 i i `* Re: Replacement of Cardinality31Ross Finlayson
29 Jul 24 i i  `* Re: Replacement of Cardinality30Jim Burns
29 Jul 24 i i   `* Re: Replacement of Cardinality29Ross Finlayson
29 Jul 24 i i    +- Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)1Ross Finlayson
29 Jul 24 i i    `* Re: Replacement of Cardinality27Jim Burns
30 Jul 24 i i     `* Re: Replacement of Cardinality (ubiquitous ordinals)26Ross Finlayson
30 Jul 24 i i      +- Re: Replacement of Cardinality (ubiquitous ordinals)1Ross Finlayson
30 Jul 24 i i      `* Re: Replacement of Cardinality (ubiquitous ordinals)24Jim Burns
30 Jul 24 i i       `* Re: Replacement of Cardinality (ubiquitous ordinals)23Ross Finlayson
30 Jul 24 i i        +- Re: Replacement of Cardinality (ubiquitous ordinals)1Ross Finlayson
31 Jul 24 i i        `* Re: Replacement of Cardinality (ubiquitous ordinals)21Jim Burns
1 Aug 24 i i         `* Re: Replacement of Cardinality (ubiquitous ordinals)20Ross Finlayson
1 Aug 24 i i          `* Re: Replacement of Cardinality (ubiquitous ordinals)19Jim Burns
1 Aug 24 i i           `* Re: Replacement of Cardinality (ubiquitous ordinals)18Ross Finlayson
2 Aug 24 i i            `* Re: Replacement of Cardinality (ubiquitous ordinals)17Jim Burns
2 Aug 24 i i             `* Re: Replacement of Cardinality (ubiquitous ordinals)16Ross Finlayson
2 Aug 24 i i              +- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
2 Aug 24 i i              +* Re: Replacement of Cardinality (ubiquitous ordinals)13FromTheRafters
2 Aug 24 i i              i`* Re: Replacement of Cardinality (ubiquitous ordinals)12Ross Finlayson
3 Aug 24 i i              i `* Re: Replacement of Cardinality (ubiquitous ordinals)11Jim Burns
4 Aug 24 i i              i  `* Re: Replacement of Cardinality (ubiquitous ordinals)10Ross Finlayson
4 Aug 24 i i              i   `* Re: Replacement of Cardinality (ubiquitous ordinals)9Jim Burns
4 Aug 24 i i              i    `* Re: Replacement of Cardinality (ubiquitous ordinals)8Ross Finlayson
4 Aug 24 i i              i     `* Re: Replacement of Cardinality (ubiquitous ordinals)7Jim Burns
4 Aug 24 i i              i      `* Re: Replacement of Cardinality (ubiquitous ordinals)6Ross Finlayson
4 Aug 24 i i              i       `* Re: Replacement of Cardinality (ubiquitous ordinals)5Jim Burns
4 Aug 24 i i              i        `* Re: Replacement of Cardinality (ubiquitous ordinals)4Ross Finlayson
4 Aug 24 i i              i         `* Re: Replacement of Cardinality (ubiquitous ordinals)3Jim Burns
4 Aug 24 i i              i          `* Re: Replacement of Cardinality (ubiquitous ordinals)2Ross Finlayson
4 Aug 24 i i              i           `- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
2 Aug 24 i i              `- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
29 Jul 24 i +* Re: Replacement of Cardinality830WM
29 Jul 24 i i`* Re: Replacement of Cardinality829Jim Burns
30 Jul 24 i i `* Re: Replacement of Cardinality828WM
30 Jul 24 i i  `* Re: Replacement of Cardinality827Jim Burns
31 Jul 24 i i   +* Re: Replacement of Cardinality13Moebius
31 Jul 24 i i   i+* Re: Replacement of Cardinality --- infinitesimal number system11olcott
31 Jul 24 i i   ii+* Re: Replacement of Cardinality --- infinitesimal number system6Moebius
31 Jul 24 i i   iii`* Re: Replacement of Cardinality --- infinitesimal number system5olcott
31 Jul 24 i i   iii +- Re: Replacement of Cardinality --- infinitesimal number system1Chris M. Thomasson
31 Jul 24 i i   iii `* Re: Replacement of Cardinality --- infinitesimal number system3Moebius
31 Jul 24 i i   iii  `* Re: Replacement of Cardinality --- infinitesimal number system2olcott
31 Jul 24 i i   iii   `- Re: Replacement of Cardinality --- infinitesimal number system1Moebius
31 Jul 24 i i   ii+* Re: Replacement of Cardinality --- infinitesimal number system3FromTheRafters
31 Jul 24 i i   iii+- Re: Replacement of Cardinality --- infinitesimal number system1olcott
31 Jul 24 i i   iii`- Re: Replacement of Cardinality --- infinitesimal number system1Ross Finlayson
31 Jul 24 i i   ii`- Re: Replacement of Cardinality --- infinitesimal number system1Jim Burns
31 Jul 24 i i   i`- Re: Replacement of Cardinality1WM
31 Jul 24 i i   `* Re: Replacement of Cardinality813WM
31 Jul 24 i i    `* Re: Replacement of Cardinality812Jim Burns
1 Aug 24 i i     `* Re: Replacement of Cardinality811WM
1 Aug 24 i i      `* Re: Replacement of Cardinality810Jim Burns
1 Aug 24 i i       +- Re: Replacement of Cardinality1Moebius
2 Aug 24 i i       `* Re: Replacement of Cardinality808WM
2 Aug 24 i i        `* Re: Replacement of Cardinality807Jim Burns
2 Aug 24 i i         +* Re: Replacement of Cardinality23Moebius
3 Aug 24 i i         i`* Re: Replacement of Cardinality22WM
3 Aug 24 i i         i +* Re: Replacement of Cardinality4joes
4 Aug 24 i i         i i`* Re: Replacement of Cardinality3WM
4 Aug 24 i i         i i `* Re: Replacement of Cardinality2Jim Burns
4 Aug 24 i i         i i  `- Re: Replacement of Cardinality1Moebius
3 Aug 24 i i         i `* Re: Replacement of Cardinality17Chris M. Thomasson
3 Aug 24 i i         i  +* Re: Replacement of Cardinality14FromTheRafters
4 Aug 24 i i         i  i`* Re: Replacement of Cardinality (real-valued)13Ross Finlayson
4 Aug 24 i i         i  i `* Re: Replacement of Cardinality (real-valued)12FromTheRafters
4 Aug 24 i i         i  i  `* Re: Replacement of Cardinality (real-valued)11Ross Finlayson
4 Aug 24 i i         i  i   `* Re: Replacement of Cardinality (real-valued)10Ross Finlayson
4 Aug 24 i i         i  i    `* Re: Replacement of Cardinality (real-valued)9Ross Finlayson
4 Aug 24 i i         i  i     +* Re: Replacement of Cardinality (real-valued)3Ross Finlayson
4 Aug 24 i i         i  i     i+- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
4 Aug 24 i i         i  i     i`- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
7 Aug 24 i i         i  i     `* Re: Replacement of Cardinality (real-valued)5Jim Burns
8 Aug 24 i i         i  i      `* Re: Replacement of Cardinality (real-valued)4Ross Finlayson
8 Aug 24 i i         i  i       `* Re: Replacement of Cardinality (real-valued)3Jim Burns
8 Aug 24 i i         i  i        `* Re: Replacement of Cardinality (real-valued)2Ross Finlayson
13 Aug 24 i i         i  i         `- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
4 Aug 24 i i         i  `* Re: Replacement of Cardinality2Moebius
4 Aug 24 i i         i   `- Re: Replacement of Cardinality1WM
3 Aug 24 i i         `* Re: Replacement of Cardinality783WM
3 Aug 24 i i          `* Re: Replacement of Cardinality782Jim Burns
4 Aug 24 i i           +* Re: Replacement of Cardinality43Moebius
4 Aug 24 i i           i`* Re: Replacement of Cardinality42WM
4 Aug 24 i i           i +* Re: Replacement of Cardinality4Jim Burns
4 Aug 24 i i           i i+* Re: Replacement of Cardinality2Moebius
4 Aug 24 i i           i ii`- Re: Replacement of Cardinality1Jim Burns
4 Aug 24 i i           i i`- Re: Replacement of Cardinality1WM
5 Aug 24 i i           i `* Re: Replacement of Cardinality37Chris M. Thomasson
5 Aug 24 i i           i  `* Re: Replacement of Cardinality36Moebius
5 Aug 24 i i           i   +* Re: Replacement of Cardinality (quantifier disambiguation)5Ross Finlayson
5 Aug 24 i i           i   i`* Re: Replacement of Cardinality (quantifier disambiguation)4Ross Finlayson
5 Aug 24 i i           i   i `* Re: Replacement of Cardinality (quantifier disambiguation)3Jim Burns
5 Aug 24 i i           i   i  `* Re: Replacement of Cardinality (quantifier disambiguation)2Ross Finlayson
13 Aug 24 i i           i   i   `- Re: Replacement of Cardinality (quantifier disambiguation)1Ross Finlayson
5 Aug 24 i i           i   +* Re: Replacement of Cardinality4Chris M. Thomasson
5 Aug 24 i i           i   i`* Re: Replacement of Cardinality3Moebius
5 Aug 24 i i           i   i `* Re: Replacement of Cardinality2Moebius
5 Aug 24 i i           i   `* Re: Replacement of Cardinality26WM
4 Aug 24 i i           `* Re: Replacement of Cardinality738WM
29 Jul 24 i `- Re: Replacement of Cardinality1Moebius
29 Jul 24 `* Re: Replacement of Cardinality9Moebius

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal