Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253011

Re: Difficult question

Newsgroups sci.logic
Date 2023-05-12 05:37 -0700
References (1 earlier) <8b840345-59fb-4315-9272-652efd5b4515n@googlegroups.com> <596e4531-0647-4d54-ba51-a6dc806b5846n@googlegroups.com> <28c6a19c-ee24-4bf2-97ad-fd3f2016f67an@googlegroups.com> <857527e5-d1db-4f1d-8829-4fc99525fda0n@googlegroups.com> <c1e6d72a-33a8-eefb-01ae-9017019fe73c@att.net>
Message-ID <a9a9a41c-c8b0-498f-96de-e33a4519f3f7n@googlegroups.com> (permalink)
Subject Re: Difficult question
From WM <askasker48@gmail.com>

Show all headers | View raw

Jim Burns schrieb am Donnerstag, 11. Mai 2023 um 22:11:06 UTC+2:
> On 5/11/2023 7:40 AM, WM wrote: 

> > Up to every infinite endsegment, 
> > i.e., an endsegment that misses only 
> > finitely many natnumbers, 
> > the sequence of losses is finite.

> The intersection of all end segments 
> of a 1x1 1-ended 
> is empty.

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.

Regards, WM

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

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