Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-06-20 08:30 -0700 |
| References | (15 earlier) <7332a9ff-5d3f-bbe8-99f1-a7763c8a4cee@att.net> <4b598837-4840-4932-9944-0b16d264c43bn@googlegroups.com> <a7ffa792-df05-f96a-b9b0-05620f0226f5@att.net> <b8a4f329-873f-48df-be83-9e433f52757cn@googlegroups.com> <93e9efef-eaed-4183-9405-e3d77777a7a7n@googlegroups.com> |
| Message-ID | <b2086ed2-6967-45cc-8a2d-1d9def77d2a7n@googlegroups.com> (permalink) |
| Subject | Re: Some results about unit fractions |
| From | WM <askasker48@gmail.com> |
Fritz Feldhase schrieb am Montag, 19. Juni 2023 um 16:34:39 UTC+2:
> Das Endsegment {1, 2, 3, ...} ist gleich IN.
Of course.
>
> "Every infinite endsegment has
> an infinite set in common with
> every predecessor and
> every infinite successor."
>
> Hinweis: Es gibt keine nicht-leere Teilmenge M von E(1), so dass für alle k e IN\{1}: M c E(k) gilt.
Es gibt aber für alle unendlichen Endsegmente eine unendliche Menge.
>
> Beweis: Wir nehmen an, dass M =/= { } ist. Dann gibt es ein Element m in M. Da M c E(1) ist, ist M dann eine nichtleere Menge natürlicher Zahlen. Es gibt dann (da IN wohlgeordnet ist)
Diese Mengen sind dunkel. Der Verlust aller definierbaren Elemente (aus dem Schnitt sowie aus der Folge der Endsegmente) wird bewiesen, indem n nicht in E(n+1) ist.
Gruß, WM
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-11 06:47 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 10:24 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 11:37 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 11:53 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 13:24 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 15:21 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 15:38 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-12 13:16 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 14:03 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-12 14:45 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 07:20 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-13 07:35 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 14:02 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-13 14:50 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-13 20:12 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-12 14:48 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-11 15:11 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 13:28 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-11 17:12 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-13 13:25 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 14:07 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-13 20:11 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 04:55 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-14 05:58 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 11:30 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-14 12:55 -0700
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 Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-03 09:50 -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 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
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-14 08:03 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 10:58 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-14 18:30 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 04:51 -0700
csiph-web