Groups | Search | Server Info | Login | Register
| From | Jim Burns <james.g.burns@att.net> |
|---|---|
| Newsgroups | sci.logic |
| Subject | Re: Some results about unit fractions |
| Date | 2023-06-23 12:37 -0400 |
| Organization | A noiseless patient Spider |
| Message-ID | <935029c9-dd60-d452-e73b-c9bda9a95516@att.net> (permalink) |
| References | (13 earlier) <d41fe914-4fa1-448d-ac93-05e6c6293362n@googlegroups.com> <8363ca78-8496-8d6d-765e-50d4854bfd4c@att.net> <6115c3b7-20f0-49f2-a676-03adb4b8eb5cn@googlegroups.com> <456c8e66-730b-ce76-fe7a-1927dbf6fa85@att.net> <173f0674-3927-4d71-8392-db499056a751n@googlegroups.com> |
On 6/23/2023 11:44 AM, WM wrote:
> Jim Burns schrieb am Donnerstag,
> 22. Juni 2023 um 15:38:24 UTC+2:
>> On 6/22/2023 8:54 AM, WM wrote:
>>>> E(1) is a counter-example to your claim.
>>>> | Every infinite endsegment has
>>>> | an infinite set in common with
>>>> | every predecessor and
>>>> | every infinite successor.
>>>
>>> No.
>>
>> An element in common with each successor
>> not-exists.
>
> An element in common with
> each *infinite* successor exists.
No.
ℕ := ⋃⟨ ⟨0…k⟩ ⟩
Each ⟨0…k⟩ is ⁺⁺ing 1×1 2-ended from 0
For each j ∈ ⋃⟨⟨0…k⟩⟩
⟨0…j⟩ exists, is ⁺⁺ing 1×1 2-ended
⟨0…j,j⁺⁺⟩ exists, is ⁺⁺ing 1×1 2-ended
j⁺⁺ ∈ ⋃⟨⟨0…k⟩⟩
For each j ∈ ⋃⟨⟨0…k⟩⟩
j is non-final
⋃⟨⟨0…k⟩⟩ is ⁺⁺ing 1×1 1-ended
For each j ∈ ⋃⟨⟨0…k⟩⟩
⋃⟨⟨0…k⟩⟩ =
⟨0…j⟩∥⟨j⁺⁺…⟩ =
⟨2-ended⟩∥⟨1-ended⟩
⟨j⁺⁺…⟩ ⊇ {common}
j ∉ ⟨j⁺⁺…⟩
j ∉ {common}
¬∃j ∈ {common}
> Successors contain only elements of E(1).
Each element of E(1) is non-final.
Each element of each successor of E(1)
is non-final.
>>>> An _infinite_ set common to
>>>> each (infinite) end segment
>>>> not-exists.
>>>
>>> Where should infinite endsegments have
>>> gained numbers not inherited from E(1)?
>>
>> That does not have the consequences
>> to which you feel entitled.
>
> It has the consequence:
> An element in common with
> each *infinite* successor exists.
No.
j ∈ ⟨0…j⟩∥⟨j⁺⁺…⟩ ⊇ {common}
> Successors contain only elements of E(1).
Each element in each successor
is non-final.
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 04:53 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-15 13:22 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 05:40 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-16 01:17 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:32 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-16 16:27 +0200
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-18 02:09 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 07:15 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-20 01:34 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-20 08:34 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:09 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:18 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-21 07:17 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-21 16:52 +0200
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-22 05:48 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-22 13:20 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-22 00:51 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-22 05:58 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-23 01:05 +0100
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-22 17:17 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-23 02:26 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-23 09:01 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-26 01:59 +0100
Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-06-26 04:42 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-26 14:42 +0100
Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-06-26 15:22 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-27 01:14 +0200
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 08:12 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 07:59 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-23 08:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-23 09:52 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-26 02:05 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 08:05 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-29 01:34 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-29 05:31 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-29 16:37 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:18 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:21 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-30 13:52 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-29 19:15 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-30 14:27 +0100
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:03 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:06 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:09 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:15 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:21 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:26 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-07-02 02:05 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 09:04 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-02 09:56 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-30 16:47 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:15 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:20 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-07-02 02:13 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:59 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-02 09:34 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-02 09:55 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-07-02 19:10 +0200
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-30 13:01 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:27 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-30 14:14 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 11:49 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-30 20:30 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-01 10:26 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 16:18 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 17:37 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 12:55 -0400
Re: Some results about unit fractions Transfinity <transfinity01@gmail.com> - 2023-07-01 10:32 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 15:42 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:17 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 13:00 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 16:24 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 14:05 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 14:28 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 17:30 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 14:44 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 18:49 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 17:07 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-02 06:20 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-02 04:04 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:39 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:33 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:27 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-07-02 01:50 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:50 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:19 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 12:58 -0400
Re: Some results about unit fractions Transfinity <transfinity01@gmail.com> - 2023-07-01 11:16 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 15:16 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:14 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-02 18:44 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-03 06:31 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-03 11:32 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-04 11:46 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-04 19:12 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-04 16:25 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-04 22:14 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-05 18:13 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-06 12:45 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-03 09:50 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-04 11:51 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-04 13:35 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-03 10:07 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-04 11:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-15 06:01 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 09:26 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-15 09:52 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 10:59 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-15 12:40 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:07 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-16 06:22 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:41 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-16 08:54 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-16 12:37 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-17 05:54 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:46 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 06:57 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-17 11:56 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 06:59 -0700
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
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-16 08:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-15 17:06 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-16 06:18 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:10 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-17 17:17 +0200
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:30 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-17 17:33 +0200
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:25 -0700
csiph-web