Re: Some results about unit fractions

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	sci.logic
Subject	Re: Some results about unit fractions
Date	2023-06-26 02:05 +0100
Organization	A noiseless patient Spider
Message-ID	<87ttuv3uek.fsf@bsb.me.uk> (permalink)
References	(15 earlier) <adc4db77-1d1d-4705-83f2-3e375405351an@googlegroups.com> <87y1kc8jc6.fsf@bsb.me.uk> <3fac16e0-4fc3-4378-8339-222f48726819n@googlegroups.com> <87sfaj82m3.fsf@bsb.me.uk> <da743f03-ffe8-4635-95e0-1087b10a1adfn@googlegroups.com>

Show all headers | View raw

WM <askasker48@gmail.com> writes:
(AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des
Unendlichen" at Hochschule Augsburg.)

> Ben Bacarisse schrieb am Freitag, 23. Juni 2023 um 02:05:29 UTC+2:
>> WM <askas...@gmail.com> writes: 
>> (AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des
>> Unendlichen" at Technische Hochschule Augsburg.)

You are still editing what appears to be a direct quote with no
indication of any alteration.  That's not honest.  If you think my words
are incorrect of misleading, here's what you should write:

>> (AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des
>> Unendlichen" at [Technische] Hochschule Augsburg.)

>> >> Still no example of "an inclusion-monotonic sequence (M_n): M(n) ⊇ 
>> >> M(n+1) which have no element in common". You wanted to sound smart so 
>> >> you said that rather than all terms being empty (as in my example) "one 
>> >> empty set would be sufficient", but you can't show such a sequence, can 
>> >> you? 
>> > 
>> > I did. 
>> > ∀k ∈ ℕ_def: |∩{E(1), E(2), ..., E(k)}| = ℵ₀ 
>> > |∩{E(k) : k ∈ ℕ_def}| = ℵ₀ 
>> > ∀k ∈ ℕ: E(k+1) = E(k) \ {k} 
>> > ∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
>> Nope. None of these are empty.
>
> Empty is ∩{E(k) : k ∈ ℕ}

None of the E(k) are empty.  My sequence used lots of empty sets.  You
tried to look clever by saying "one empty set would be sufficient" but
now you can't show that sequence.

-- 
Ben.

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

Thread

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

csiph-web