Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-05-13 06:14 -0700 |
| References | (3 earlier) <28c6a19c-ee24-4bf2-97ad-fd3f2016f67an@googlegroups.com> <857527e5-d1db-4f1d-8829-4fc99525fda0n@googlegroups.com> <c1e6d72a-33a8-eefb-01ae-9017019fe73c@att.net> <a9a9a41c-c8b0-498f-96de-e33a4519f3f7n@googlegroups.com> <bb25bbff-2ab1-a557-7e61-e9fb41db5096@att.net> |
| Message-ID | <2e658b52-53bb-4dd7-97b6-3bfc0929fcf5n@googlegroups.com> (permalink) |
| Subject | Re: Difficult question |
| From | WM <askasker48@gmail.com> |
Jim Burns schrieb am Freitag, 12. Mai 2023 um 20:18:42 UTC+2:
> On 5/12/2023 8:37 AM, WM wrote:
> > In the sequence
> > 1, 2, 3, ...,n, ..., O, n+1, ...
> > the O cannot follow upon infinitely many
> > numbers and simultaneously be followed by
> > infinitely many numbers.
> >
> > Therefore there cannot exist infinitely many
> > indices of endsegments and infinitely many
> > natnumbers remaining as their contents.
> A 1×1 1-ended is 1×1 1-ended.
> For each n ∈ ⟨1,...⟩
> ⟨1,...,n⟩ and ⟨n+1,...⟩ exist
But after the infinite set of endsegments no natnumbers are following. Natnumber in endsegments are following the set of indices of endsegments.
>
> For each n ∈ ⟨1,...⟩
> NOT n ∈ intersection of end segments
and NOT n ∈ any endsegment of index n+1 or greater.
The numbers do not only disappear from the intersection but also from the endsegments. The endsegments of the sequence are as empty as their intersection.
∀k ∈ ℕ: ∩{E(1), E(2), ..., E(k)} = E(k)
Infinite intersections contain only such endsegments.
Regards, WM
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
Difficult question WM <askasker48@gmail.com> - 2023-05-09 10:08 -0700
Re: Difficult question Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-09 10:49 -0700
Re: Difficult question WM <askasker48@gmail.com> - 2023-05-10 06:02 -0700
Re: Difficult question Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-10 15:20 -0700
Re: Difficult question WM <askasker48@gmail.com> - 2023-05-11 04:40 -0700
Re: Difficult question Jim Burns <james.g.burns@att.net> - 2023-05-11 16:11 -0400
Re: Difficult question Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-11 13:30 -0700
Re: Difficult question WM <askasker48@gmail.com> - 2023-05-12 05:37 -0700
Re: Difficult question Jim Burns <james.g.burns@att.net> - 2023-05-12 14:18 -0400
Re: Difficult question WM <askasker48@gmail.com> - 2023-05-13 06:14 -0700
Re: Difficult question Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-14 08:46 -0700
Re: Difficult question WM <askasker48@gmail.com> - 2023-05-14 13:47 -0700
Re: Difficult question Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-11 14:01 -0700
Re: Difficult question Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-11 14:28 -0700
Re: Difficult question Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-12 01:34 -0700
Re: Difficult question Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-12 08:53 -0700
Re: Difficult question Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-14 08:41 -0700
Re: Difficult question Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-14 10:33 -0700
Re: Difficult question Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-14 10:38 -0700
Re: Difficult question Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-14 11:48 -0700
Re: Difficult question WM <askasker48@gmail.com> - 2023-05-12 05:38 -0700
csiph-web