Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-06-29 05:20 -0700 |
| References | (14 earlier) <08a0d32f-fd24-7ea5-c786-42b70dae2149@att.net> <12682261-1178-4a93-9d74-7601bfd9b5f5n@googlegroups.com> <0e827a01-c898-0733-4ed8-812ad420b077@att.net> <3eec5c46-5011-41d2-8953-2680fa2955b5n@googlegroups.com> <e5492ddb-5d03-87ce-441f-4bd6f556cd01@att.net> |
| Message-ID | <9e7bed9e-a483-41d5-aee1-0d9f11d0ec1fn@googlegroups.com> (permalink) |
| Subject | Re: Some results about unit fractions |
| From | WM <askasker48@gmail.com> |
Jim Burns schrieb am Mittwoch, 28. Juni 2023 um 18:39:53 UTC+2:
> On 6/28/2023 10:22 AM, WM wrote:
> > Jim Burns schrieb am Montag,
> > 26. Juni 2023 um 19:23:24 UTC+2:
>
> >> In order for the set {common} of
> >> elements in common with each end segment
> >> to be empty
> >> there must be no element in common
> >> with each end segment.
> >>
> >> In order for it to be empty,
> >> we do not need anything _other than_
> >> for no element to be in it.
> >
> > Alas this holds also for the endsegments
> > themselves.
> Consider the union
No. All that waffle will not change the facts:
In order for it to be empty, we do not need anything _other than_ for no element to be in it.
This holds also for the endsegments themselves.
> > The intersection is only empty
> > if there are no common elements.
> > And new elements cannot be acquired.
> The elements are neither new nor old.
> They are the elements.
Waffle.
> > That implies:
> > An empty intersection of
> > an inclusion-monotonic sequence
> > implies an empty term.
> A 1-ended inclusion-monotonic sequence
> does not contain
> the intersection of all its terms.
The intersection is a term for every definable n:
∀k ∈ ℕ_def: |∩{E(1), E(2), ..., E(k)}| = ℵ₀
If you disagree find a counterexample.
Regards, WM
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
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 WM <askasker48@gmail.com> - 2023-06-28 07:22 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-28 07:38 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-28 07:57 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-28 07:38 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-28 09:11 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-28 09:23 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-29 05:12 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-29 08:05 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-28 12:39 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-29 05:20 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-29 11:24 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 09:58 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:06 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-30 13:38 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 11:44 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-07-01 05:04 -0700
csiph-web