Groups | Search | Server Info | Login | Register

Re: Some results about unit fractions

From	Jim Burns <james.g.burns@att.net>
Newsgroups	sci.logic
Subject	Re: Some results about unit fractions
Date	2023-06-30 13:38 -0400
Organization	A noiseless patient Spider
Message-ID	<5b9da8f4-563d-e868-e4ce-73bae5d7c564@att.net> (permalink)
References	(13 earlier) <3eec5c46-5011-41d2-8953-2680fa2955b5n@googlegroups.com> <e5492ddb-5d03-87ce-441f-4bd6f556cd01@att.net> <9e7bed9e-a483-41d5-aee1-0d9f11d0ec1fn@googlegroups.com> <60de1d76-42ed-5727-fe15-040040e879b7@att.net> <a62aa623-247a-4192-9b38-aeffb94735e2n@googlegroups.com>

Show all headers | View raw

On 6/30/2023 12:58 PM, WM wrote:
> Jim Burns schrieb am Donnerstag,
> 29. Juni 2023 um 17:24:37 UTC+2:

>> An empty intersection of
>> an inclusion-monotonic sequence
>> which is 1-ended
>> implies only non-empty terms.
>
> If no natnumber is in the intersection,
> then there is an empty endsegment.
> Because there is only loss and never gain.

How much of this do you agree to?

The intersection of
a set of sets
is subset to each set in
that set of sets.

The intersection of
an inclusion-monotonic sequence
is subset to each set in
that sequence.

Each non-final set in
an inclusion-monotonic sequence
is NOT subset to each set in
that sequence.

Each non-final set in
an inclusion-monotonic sequence
is NOT the intersection of
that sequence.

Each set in
a 1-ended inclusion-monotonic sequence
is a non-final set.

Each set in
a 1-ended inclusion-monotonic sequence
is NOT the intersection of
that sequence.

Each set in
a 1-ended inclusion-monotonic sequence
with an empty intersection
is NOT the (empty) intersection of
that sequence.

Each set in
a 1-ended inclusion-monotonic sequence
with an empty intersection
is NOT empty.

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

Thread

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