Re: Replacement of Cardinality (infinite middle)

Liste des GroupesRevenir à s logic 
Sujet : Re: Replacement of Cardinality (infinite middle)
De : ross.a.finlayson (at) *nospam* gmail.com (Ross Finlayson)
Groupes : sci.logic sci.math
Date : 19. Aug 2024, 23:02:37
Autres entêtes
Message-ID : <H5ScnQYIXYJnXV77nZ2dnZfqn_idnZ2d@giganews.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
On 08/19/2024 02:43 PM, Jim Burns wrote:
On 8/19/2024 3:27 PM, Ross Finlayson wrote:
On 08/18/2024 09:56 PM, Jim Burns wrote:
>
[...]
>
I mean it's a great definition that finite has that
there exists a normal ordering that's a well-ordering
>
...in both directions...
>
and that all the orderings of the set are well-orderings.
>
...in both directions...
>
That's a great definition of finite and now it stands
for itself in enduring mathematical definition in defense.
>
...for comfortably more than a century.
>
Why is it you think that Stackel's definition of finite
and "not Dedekind's definition of countably infinite"
don't agree?
>
They mostly agree.
>
Given the Axiom of Choice
(let us say, if an inaccessible cardinal exists),
they completely agree.
>
My impression from somewhere is that,
if they disagree,
they disagree on some very weird sets.
>
https://en.wikipedia.org/wiki/Finite_set
>
[...] is another little fact of mathematics
missing from your neat little hedgerow.
>
I mark my neat little hedgerow, and
I describe what's true everywhere inside the hedgerow.
That allows me to learn about
what's inside the hedgerow,
even though it's infinite and I am finite.
>
I like doing that.
It isn't wrong for me to do that.
I will continue doing that.
>
>
No, not just that its normal ordering is ...,
that _all_ its orderings are ....
Finite, ....

Date Sujet#  Auteur
26 Jul 24 * Replacement of Cardinality709WM
26 Jul 24 +* Re: Replacement of Cardinality2joes
27 Jul 24 i`- Re: Replacement of Cardinality1WM
27 Jul 24 +* Re: Replacement of Cardinality66Richard Damon
27 Jul 24 i`* Re: Replacement of Cardinality65WM
27 Jul 24 i `* Re: Replacement of Cardinality64Richard Damon
27 Jul 24 i  +- Re: Replacement of Cardinality1WM
27 Jul 24 i  +* Re: Replacement of Cardinality2joes
28 Jul 24 i  i`- Re: Replacement of Cardinality1WM
27 Jul 24 i  `* Re: Replacement of Cardinality60Richard Damon
28 Jul 24 i   `* Re: Replacement of Cardinality59WM
28 Jul 24 i    `* Re: Replacement of Cardinality58Richard Damon
29 Jul 24 i     `* Re: Replacement of Cardinality57WM
29 Jul 24 i      +- Re: Replacement of Cardinality1Python
30 Jul 24 i      `* Re: Replacement of Cardinality55Richard Damon
30 Jul 24 i       `* Re: Replacement of Cardinality54WM
31 Jul 24 i        `* Re: Replacement of Cardinality53Richard Damon
31 Jul 24 i         `* Re: Replacement of Cardinality52WM
31 Jul 24 i          +* Re: Replacement of Cardinality11joes
1 Aug 24 i          i`* Re: Replacement of Cardinality10WM
1 Aug 24 i          i +* Re: Replacement of Cardinality5Jim Burns
1 Aug 24 i          i i+- Re: Replacement of Cardinality1Moebius
2 Aug 24 i          i i`* Re: Replacement of Cardinality3WM
2 Aug 24 i          i i `* Re: Replacement of Cardinality2Jim Burns
2 Aug 24 i          i i  `- Re: Replacement of Cardinality1Moebius
2 Aug 24 i          i `* Re: Replacement of Cardinality4Richard Damon
2 Aug 24 i          i  `* Re: Replacement of Cardinality3WM
2 Aug 24 i          i   `* Re: Replacement of Cardinality2Richard Damon
2 Aug 24 i          i    `- Re: Replacement of Cardinality1WM
1 Aug 24 i          `* Re: Replacement of Cardinality40Richard Damon
1 Aug 24 i           `* Re: Replacement of Cardinality39WM
1 Aug 24 i            +* Re: Replacement of Cardinality29joes
2 Aug 24 i            i+* Re: Replacement of Cardinality27WM
2 Aug 24 i            ii`* Re: Replacement of Cardinality26Richard Damon
2 Aug 24 i            ii `* Re: Replacement of Cardinality25WM
2 Aug 24 i            ii  `* Re: Replacement of Cardinality24Richard Damon
2 Aug 24 i            ii   `* Re: Replacement of Cardinality23WM
2 Aug 24 i            ii    `* Re: Replacement of Cardinality22Richard Damon
3 Aug 24 i            ii     `* Re: Replacement of Cardinality21WM
3 Aug 24 i            ii      `* Re: Replacement of Cardinality20Richard Damon
4 Aug 24 i            ii       `* Re: Replacement of Cardinality19WM
4 Aug 24 i            ii        +* Re: Replacement of Cardinality5Richard Damon
5 Aug 24 i            ii        i`* Re: Replacement of Cardinality4WM
6 Aug 24 i            ii        i `* Re: Replacement of Cardinality3Richard Damon
6 Aug 24 i            ii        i  `* Re: Replacement of Cardinality2WM
7 Aug 24 i            ii        i   `- Re: Replacement of Cardinality1Richard Damon
4 Aug 24 i            ii        `* Re: Replacement of Cardinality13Richard Damon
6 Aug 24 i            ii         `* Re: Replacement of Cardinality12Chris M. Thomasson
6 Aug 24 i            ii          `* Re: Replacement of Cardinality11Moebius
6 Aug 24 i            ii           +* Re: Replacement of Cardinality2Jim Burns
6 Aug 24 i            ii           i`- Re: Replacement of Cardinality1Moebius
6 Aug 24 i            ii           `* Re: Replacement of Cardinality8Chris M. Thomasson
6 Aug 24 i            ii            +- Re: Replacement of Cardinality1FromTheRafters
6 Aug 24 i            ii            `* Re: Replacement of Cardinality6Moebius
6 Aug 24 i            ii             +- Re: Replacement of Cardinality1Moebius
7 Aug 24 i            ii             `* Re: Replacement of Cardinality4Chris M. Thomasson
7 Aug 24 i            ii              `* Re: Replacement of Cardinality3Moebius
7 Aug 24 i            ii               +- Re: Replacement of Cardinality1Moebius
16 Aug 24 i            ii               `- Re: Replacement of Cardinality1Chris M. Thomasson
2 Aug 24 i            i`- Re: Replacement of Cardinality1WM
2 Aug 24 i            `* Re: Replacement of Cardinality9Richard Damon
2 Aug 24 i             `* Re: Replacement of Cardinality8WM
2 Aug 24 i              +* Re: Replacement of Cardinality2joes
2 Aug 24 i              i`- Re: Replacement of Cardinality1WM
2 Aug 24 i              `* Re: Replacement of Cardinality5Richard Damon
2 Aug 24 i               `* Re: Replacement of Cardinality4WM
2 Aug 24 i                `* Re: Replacement of Cardinality3Richard Damon
3 Aug 24 i                 `* Re: Replacement of Cardinality2WM
3 Aug 24 i                  `- Re: Replacement of Cardinality1Richard Damon
27 Jul 24 +* Re: Replacement of Cardinality20Mikko
27 Jul 24 i`* Re: Replacement of Cardinality19WM
29 Jul 24 i `* Re: Replacement of Cardinality18Mikko
29 Jul 24 i  `* Re: Replacement of Cardinality17WM
30 Jul 24 i   +* Re: Replacement of Cardinality3Richard Damon
30 Jul 24 i   i`* Re: Replacement of Cardinality2WM
31 Jul 24 i   i `- Re: Replacement of Cardinality1Richard Damon
30 Jul 24 i   `* Re: Replacement of Cardinality13Mikko
30 Jul 24 i    `* Re: Replacement of Cardinality12WM
31 Jul 24 i     `* Re: Replacement of Cardinality11Mikko
31 Jul 24 i      `* Re: Replacement of Cardinality10WM
2 Aug 24 i       `* Re: Replacement of Cardinality9Mikko
2 Aug 24 i        `* Re: Replacement of Cardinality8WM
2 Aug 24 i         +* Re: Replacement of Cardinality5Richard Damon
2 Aug 24 i         i`* Re: Replacement of Cardinality4WM
2 Aug 24 i         i `* Re: Replacement of Cardinality3Richard Damon
3 Aug 24 i         i  `* Re: Replacement of Cardinality2WM
3 Aug 24 i         i   `- Re: Replacement of Cardinality1Richard Damon
3 Aug 24 i         `* Re: Replacement of Cardinality2Mikko
3 Aug 24 i          `- Re: Replacement of Cardinality1WM
27 Jul 24 `* Re: Replacement of Cardinality620Jim Burns
28 Jul 24  +* Re: Replacement of Cardinality610WM
28 Jul 24  i`* Re: Replacement of Cardinality609Jim Burns
29 Jul 24  i +* Re: Replacement of Cardinality47Ross Finlayson
29 Jul 24  i i`* Re: Replacement of Cardinality46Ross Finlayson
29 Jul 24  i i `* Re: Replacement of Cardinality45Ross Finlayson
29 Jul 24  i i  `* Re: Replacement of Cardinality44Jim Burns
29 Jul 24  i i   `* Re: Replacement of Cardinality43Ross Finlayson
29 Jul 24  i i    +* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)14Ross Finlayson
1 Jan 25  i i    i`* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)13Ross Finlayson
1 Jan 25  i i    i `* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)12Jim Burns
2 Jan 25  i i    i  `* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)11Ross Finlayson
29 Jul 24  i i    `* Re: Replacement of Cardinality28Jim Burns
29 Jul 24  i +* Re: Replacement of Cardinality560WM
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