Groups | Search | Server Info | Login | Register

Groups > sci.logic > #252982

Re: Difficult question

From Jim Burns <james.g.burns@att.net>
Newsgroups sci.logic
Subject Re: Difficult question
Date 2023-05-11 16:11 -0400
Organization A noiseless patient Spider
Message-ID <c1e6d72a-33a8-eefb-01ae-9017019fe73c@att.net> (permalink)
References <861a1f8f-ed20-409c-872f-cc7f53616057n@googlegroups.com> <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>

Show all headers | View raw

On 5/11/2023 7:40 AM, WM wrote:
> Gus Gassmann schrieb am Donnerstag,
> 11. Mai 2023 um 00:20:49 UTC+2:

>> And once you have collected
> infinitely many different such sets
>
> There are not enough to collect.
>
>> to remove
> (no matter which ones they are),
> their intersection is empty.
>
> Up to every infinite endsegment,

Up to an end segment is not
all end segments.

1×1 1-ended  is not
reallyreallyreallyreallyreallyreally large
1×1 2-ended.

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

Each one of a 1x1 1-ended is
last-before of
the 1x1 2-ended part of a split.

Each one is not in the other part
of the split it is last-before,
the 1x1 1-ended part (end segment)

Each one is not in that 1-ended part,
Each one is not in _all_
1x1 1-ended parts of splits (end segments)

Each one is not in the intersection of
all 1x1 1-ended parts of splits,
the intersection of all end segments.

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

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