Path: csiph.com!weretis.net!feeder8.news.weretis.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Ben Bacarisse Newsgroups: sci.logic Subject: Re: Some results about unit fractions Date: Sun, 18 Jun 2023 02:09:45 +0100 Organization: A noiseless patient Spider Lines: 45 Message-ID: <87v8flmv8m.fsf@bsb.me.uk> References: <5ecf2c26-d125-4ba6-ac58-55acd906e111n@googlegroups.com> <5cc28893-87ed-6dbd-f422-a1ac9d93d33e@att.net> <89c98357-9090-a989-2eae-2026a9ff7c73@att.net> <33afb0cb-7bc6-4406-b2af-b338b72a8da5n@googlegroups.com> <6ef099a1-4e8d-1dee-b593-04ed44e90c21@att.net> <5a8ad3a2-540c-41f9-8c40-e673024dd4a6n@googlegroups.com> <76d19cbc-e27b-34b3-2afb-0c132a839b12@att.net> <19ad04ee-38d5-47c6-b9d8-1a453c4f6b0fn@googlegroups.com> <87fs6srk2y.fsf@bsb.me.uk> <87dae494-c8d1-477c-8116-c516fe0a68aan@googlegroups.com> <875y7op8fs.fsf@bsb.me.uk> <68c1f04f-7191-4f5c-9875-09f9773799ban@googlegroups.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: dont-email.me; posting-host="7a75cb483dc6e4debc7768d778100d3a"; logging-data="1500639"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19E7X1klffjIa60un9FtuIVpNErukWrTys=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) Cancel-Lock: sha1:u35iKBPQEXXNEdjmqZh6e8+P7N0= sha1:C9tArAG+28d2E5hZmcITqOoQI74= X-BSB-Auth: 1.80375de79b3b226c1cba.20230618020945BST.87v8flmv8m.fsf@bsb.me.uk Xref: csiph.com sci.logic:254530 WM writes: (AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des Unendlichen" at Hochschule Augsburg.) > Ben Bacarisse schrieb am Freitag, 16. Juni 2023 um 02:17:15 UTC+2: >> WM writes: >> (AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des >> Unendlichen" at Technische Hochschule Augsburg.) > > Please correct this in future. Please don't silently edit a quotation. That's dishonest. I wrote >> (AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des >> Unendlichen" at Hochschule Augsburg.) which is not wrong. The website calls the college "Hochschule Augsburg" right up there on the top of the home page. Since the college is, indeed, a technical one (it does not offer a full range of subjects) I am happy to make that clarification when the website changes the logo. Presumably they will do that soon. Let me know when, because I won't look every day. >> > Ben Bacarisse schrieb am Donnerstag, 15. Juni 2023 um 14:22:49 UTC+2: >> >> WM writes: >> >> >> > Can you imagine two terms of an inclusion-monotonic sequence (M_n): >> >> > M(n) ⊇ M(n+1) which have no element in common? >> >> Yes, M(k) = {} for all k in N. >> > >> > Thank you. I had hoped that this example would show up. >> Ha! Very funny. No, it's clear from the context you expected a >> negative answer. >> > By the way, one empty set would be sufficient. >> Example? > > The intersection of endsegments. You can't give an example, can you? I thought not. In case you feel you should try again, what you claimed was "an inclusion-monotonic sequence (M_n): M(n) ⊇ M(n+1) which have no element in common" like mine but where "one empty set would be sufficient". Go on... -- Ben.