Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-06-18 07:15 -0700 |
| References | (15 earlier) <87fs6srk2y.fsf@bsb.me.uk> <87dae494-c8d1-477c-8116-c516fe0a68aan@googlegroups.com> <875y7op8fs.fsf@bsb.me.uk> <68c1f04f-7191-4f5c-9875-09f9773799ban@googlegroups.com> <87v8flmv8m.fsf@bsb.me.uk> |
| Message-ID | <e16c9184-71a6-4ddc-b73d-5697a017e453n@googlegroups.com> (permalink) |
| Subject | Re: Some results about unit fractions |
| From | WM <askasker48@gmail.com> |
Ben Bacarisse schrieb am Sonntag, 18. Juni 2023 um 03:09:52 UTC+2:
> WM <askas...@gmail.com> writes:
> (AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des
> Unendlichen" at Hochschule Augsburg.)
> > Ben Bacarisse schrieb am Freitag, 16. Juni 2023 um 02:17:15 UTC+2:
> >> WM <askas...@gmail.com> writes:
> >> (AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des
> >> Unendlichen" at Technische Hochschule Augsburg.)
> >
> > Please correct this in future.
> Please don't silently edit a quotation.
I did not. I announced it: Please correct this in future.
> which is not wrong. The website calls the college
That is not a college. The website will be corrected later, but the name change is effective already.
> >> >> > Can you imagine two terms of an inclusion-monotonic sequence (M_n):
> >> >> > M(n) ⊇ M(n+1) which have no element in common?
> >> >> Yes, M(k) = {} for all k in N.
> >> >
> >> > Thank you. I had hoped that this example would show up.
> >> Ha! Very funny. No, it's clear from the context you expected a
> >> negative answer.
As you know very well, the discussion about my claim that only an empty endsegment can cause an empty intersection lasts for years.
> >> > By the way, one empty set would be sufficient.
> >> Example?
> >
> > The intersection of endsegments.
> You can't give an example, can you? I thought not. In case you feel you
> should try again, what you claimed was "an inclusion-monotonic sequence
> (M_n): M(n) ⊇ M(n+1) which have no element in common" like mine but
> where "one empty set would be sufficient". Go on...
There is the simple axiom of inclusion monotony which I use for my derivation:
A sequence whose terms (except the first one) are subsets of their immediate predecessors, has only terms the elements of which are in all predecessors.
Without an empty term, there is no empty intersection.
The sequence of endsegments has only infinite visible terms. Their intersection is infinite.
∀k ∈ ℕ_def: |∩{E(1), E(2), ..., E(k)}| = ℵ₀.
The argument that n is not element of E(n+1) however works also for dark terms. It empties the intersection as well as the endsements.
Regards, WM
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:11 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-07 12:25 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 03:46 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 04:13 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 05:51 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 07:15 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 09:34 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 16:48 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 16:50 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-09 03:43 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-08 14:48 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 13:50 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-08 18:39 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-09 03:48 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-09 12:26 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-09 13:36 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-09 18:25 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-10 05:05 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-10 15:10 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 06:47 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 10:24 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 11:37 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 11:53 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 13:24 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 15:21 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 15:38 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-12 13:16 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 14:03 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-12 14:45 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 07:20 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-13 07:35 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 14:02 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-13 14:50 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-13 20:12 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-12 14:48 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-11 15:11 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 13:28 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-11 17:12 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-13 13:25 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 14:07 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-13 20:11 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 04:55 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-14 05:58 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 11:30 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-14 12:55 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 04:53 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-15 13:22 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 05:40 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-16 01:17 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:32 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-16 16:27 +0200
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-18 02:09 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 07:15 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-20 01:34 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-20 08:34 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:09 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:18 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-21 07:17 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-21 16:52 +0200
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-22 05:48 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-22 13:20 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-22 00:51 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-22 05:58 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-23 01:05 +0100
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-22 17:17 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-23 02:26 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-23 09:01 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-26 01:59 +0100
Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-06-26 04:42 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-26 14:42 +0100
Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-06-26 15:22 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-27 01:14 +0200
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 08:12 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 07:59 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-23 08:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-23 09:52 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-26 02:05 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 08:05 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-15 06:01 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 09:26 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-15 09:52 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 10:59 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-15 12:40 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:07 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-16 06:22 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:41 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-16 08:54 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-16 12:37 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-17 05:54 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:46 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 06:57 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-17 11:56 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 06:59 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-18 14:40 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-19 07:01 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-19 07:34 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-20 08:30 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:30 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-19 13:55 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-20 08:36 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:24 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-20 14:03 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-21 07:22 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-21 12:26 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-22 05:54 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-22 09:38 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-23 08:44 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-23 12:37 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-23 09:53 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-23 15:39 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-24 05:43 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-24 10:22 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-25 07:07 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-25 10:58 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 07:47 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-26 08:35 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-26 13:23 -0400
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-16 08:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-15 17:06 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-16 06:18 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:10 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-17 17:17 +0200
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:30 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-17 17:33 +0200
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:25 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-14 08:03 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 10:58 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-14 18:30 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 04:51 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-09 14:18 -0700
csiph-web