Sujet : Re: Replacement of Cardinality
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.logic sci.mathDate : 13. Aug 2024, 23:09:31
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9glir$3aq4$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
Am 13.08.2024 um 23:54 schrieb Jim Burns:
On 8/13/2024 3:21 PM, Chris M. Thomasson wrote:
On 8/13/2024 7:27 AM, WM wrote:
Le 12/08/2024 à 20:34, Jim Burns a écrit :
On 8/12/2024 9:47 AM, WM wrote:
Before the bound there is the end,
perhaps dark.
>
0 is
greatest.lower.bound β of visibleᵂᴹ unit.fractions
>
Yes. But the smallest unit fractions comes before.
>
This irks me a bit.
The smallest unit fractions?
How do you define them?
What if
your version of "small" is _larger_ than
somebody else's version of "small"?
Is hyper small smaller than super small?
"It depends".
Note that super.duper small is
between hyper.small and super.small.
OMG.small and WTF.small are left as
an exercise for the reader.
You've forgotten about "extra small" (XS).
Date | Sujet | # | | Auteur |
26 Jul 24 | Replacement of Cardinality | 709 | | WM |
26 Jul 24 |  Re: Replacement of Cardinality | 2 | | joes |
27 Jul 24 |   Re: Replacement of Cardinality | 1 | | WM |
27 Jul 24 |  Re: Replacement of Cardinality | 66 | | Richard Damon |
27 Jul 24 |   Re: Replacement of Cardinality | 65 | | WM |
27 Jul 24 |    Re: Replacement of Cardinality | 64 | | Richard Damon |
27 Jul 24 |     Re: Replacement of Cardinality | 1 | | WM |
27 Jul 24 |     Re: Replacement of Cardinality | 2 | | joes |
28 Jul 24 |      Re: Replacement of Cardinality | 1 | | WM |
27 Jul 24 |     Re: Replacement of Cardinality | 60 | | Richard Damon |
28 Jul 24 |      Re: Replacement of Cardinality | 59 | | WM |
28 Jul 24 |       Re: Replacement of Cardinality | 58 | | Richard Damon |
29 Jul 24 |        Re: Replacement of Cardinality | 57 | | WM |
29 Jul 24 |         Re: Replacement of Cardinality | 1 | | Python |
30 Jul 24 |         Re: Replacement of Cardinality | 55 | | Richard Damon |
30 Jul 24 |          Re: Replacement of Cardinality | 54 | | WM |
31 Jul 24 |           Re: Replacement of Cardinality | 53 | | Richard Damon |
31 Jul 24 |            Re: Replacement of Cardinality | 52 | | WM |
31 Jul 24 |             Re: Replacement of Cardinality | 11 | | joes |
1 Aug 24 |              Re: Replacement of Cardinality | 10 | | WM |
1 Aug 24 |               Re: Replacement of Cardinality | 5 | | Jim Burns |
1 Aug 24 |                Re: Replacement of Cardinality | 1 | | Moebius |
2 Aug 24 |                Re: Replacement of Cardinality | 3 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 2 | | Jim Burns |
2 Aug 24 |                  Re: Replacement of Cardinality | 1 | | Moebius |
2 Aug 24 |               Re: Replacement of Cardinality | 4 | | Richard Damon |
2 Aug 24 |                Re: Replacement of Cardinality | 3 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 2 | | Richard Damon |
2 Aug 24 |                  Re: Replacement of Cardinality | 1 | | WM |
1 Aug 24 |             Re: Replacement of Cardinality | 40 | | Richard Damon |
1 Aug 24 |              Re: Replacement of Cardinality | 39 | | WM |
1 Aug 24 |               Re: Replacement of Cardinality | 29 | | joes |
2 Aug 24 |                Re: Replacement of Cardinality | 27 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 26 | | Richard Damon |
2 Aug 24 |                  Re: Replacement of Cardinality | 25 | | WM |
2 Aug 24 |                   Re: Replacement of Cardinality | 24 | | Richard Damon |
2 Aug 24 |                    Re: Replacement of Cardinality | 23 | | WM |
2 Aug 24 |                     Re: Replacement of Cardinality | 22 | | Richard Damon |
3 Aug 24 |                      Re: Replacement of Cardinality | 21 | | WM |
3 Aug 24 |                       Re: Replacement of Cardinality | 20 | | Richard Damon |
4 Aug 24 |                        Re: Replacement of Cardinality | 19 | | WM |
4 Aug 24 |                         Re: Replacement of Cardinality | 5 | | Richard Damon |
5 Aug 24 |                          Re: Replacement of Cardinality | 4 | | WM |
6 Aug 24 |                           Re: Replacement of Cardinality | 3 | | Richard Damon |
6 Aug 24 |                            Re: Replacement of Cardinality | 2 | | WM |
7 Aug 24 |                             Re: Replacement of Cardinality | 1 | | Richard Damon |
4 Aug 24 |                         Re: Replacement of Cardinality | 13 | | Richard Damon |
6 Aug 24 |                          Re: Replacement of Cardinality | 12 | | Chris M. Thomasson |
6 Aug 24 |                           Re: Replacement of Cardinality | 11 | | Moebius |
6 Aug 24 |                            Re: Replacement of Cardinality | 2 | | Jim Burns |
6 Aug 24 |                             Re: Replacement of Cardinality | 1 | | Moebius |
6 Aug 24 |                            Re: Replacement of Cardinality | 8 | | Chris M. Thomasson |
6 Aug 24 |                             Re: Replacement of Cardinality | 1 | | FromTheRafters |
6 Aug 24 |                             Re: Replacement of Cardinality | 6 | | Moebius |
6 Aug 24 |                              Re: Replacement of Cardinality | 1 | | Moebius |
7 Aug 24 |                              Re: Replacement of Cardinality | 4 | | Chris M. Thomasson |
7 Aug 24 |                               Re: Replacement of Cardinality | 3 | | Moebius |
7 Aug 24 |                                Re: Replacement of Cardinality | 1 | | Moebius |
16 Aug 24 |                                Re: Replacement of Cardinality | 1 | | Chris M. Thomasson |
2 Aug 24 |                Re: Replacement of Cardinality | 1 | | WM |
2 Aug 24 |               Re: Replacement of Cardinality | 9 | | Richard Damon |
2 Aug 24 |                Re: Replacement of Cardinality | 8 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 2 | | joes |
2 Aug 24 |                  Re: Replacement of Cardinality | 1 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 5 | | Richard Damon |
2 Aug 24 |                  Re: Replacement of Cardinality | 4 | | WM |
2 Aug 24 |                   Re: Replacement of Cardinality | 3 | | Richard Damon |
3 Aug 24 |                    Re: Replacement of Cardinality | 2 | | WM |
3 Aug 24 |                     Re: Replacement of Cardinality | 1 | | Richard Damon |
27 Jul 24 |  Re: Replacement of Cardinality | 20 | | Mikko |
27 Jul 24 |   Re: Replacement of Cardinality | 19 | | WM |
29 Jul 24 |    Re: Replacement of Cardinality | 18 | | Mikko |
29 Jul 24 |     Re: Replacement of Cardinality | 17 | | WM |
30 Jul 24 |      Re: Replacement of Cardinality | 3 | | Richard Damon |
30 Jul 24 |       Re: Replacement of Cardinality | 2 | | WM |
31 Jul 24 |        Re: Replacement of Cardinality | 1 | | Richard Damon |
30 Jul 24 |      Re: Replacement of Cardinality | 13 | | Mikko |
30 Jul 24 |       Re: Replacement of Cardinality | 12 | | WM |
31 Jul 24 |        Re: Replacement of Cardinality | 11 | | Mikko |
31 Jul 24 |         Re: Replacement of Cardinality | 10 | | WM |
2 Aug 24 |          Re: Replacement of Cardinality | 9 | | Mikko |
2 Aug 24 |           Re: Replacement of Cardinality | 8 | | WM |
2 Aug 24 |            Re: Replacement of Cardinality | 5 | | Richard Damon |
2 Aug 24 |             Re: Replacement of Cardinality | 4 | | WM |
2 Aug 24 |              Re: Replacement of Cardinality | 3 | | Richard Damon |
3 Aug 24 |               Re: Replacement of Cardinality | 2 | | WM |
3 Aug 24 |                Re: Replacement of Cardinality | 1 | | Richard Damon |
3 Aug 24 |            Re: Replacement of Cardinality | 2 | | Mikko |
3 Aug 24 |             Re: Replacement of Cardinality | 1 | | WM |
27 Jul 24 |  Re: Replacement of Cardinality | 620 | | Jim Burns |
28 Jul 24 |   Re: Replacement of Cardinality | 610 | | WM |
28 Jul 24 |    Re: Replacement of Cardinality | 609 | | Jim Burns |
29 Jul 24 |     Re: Replacement of Cardinality | 47 | | Ross Finlayson |
29 Jul 24 |      Re: Replacement of Cardinality | 46 | | Ross Finlayson |
29 Jul 24 |       Re: Replacement of Cardinality | 45 | | Ross Finlayson |
29 Jul 24 |        Re: Replacement of Cardinality | 44 | | Jim Burns |
29 Jul 24 |         Re: Replacement of Cardinality | 43 | | Ross Finlayson |
29 Jul 24 |          Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity) | 14 | | Ross Finlayson |
1 Jan 25 |           Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity) | 13 | | Ross Finlayson |
1 Jan 25 |            Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity) | 12 | | Jim Burns |
2 Jan 25 |             Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity) | 11 | | Ross Finlayson |
29 Jul 24 |          Re: Replacement of Cardinality | 28 | | Jim Burns |
29 Jul 24 |     Re: Replacement of Cardinality | 560 | | WM |
29 Jul 24 |     Re: Replacement of Cardinality | 1 | | Moebius |
29 Jul 24 |   Re: Replacement of Cardinality | 9 | | Moebius |