Deutsch English Français Italiano |
<v9bjpt$2ulmr$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Moebius <invalid@example.invalid> Newsgroups: sci.logic,sci.math Subject: Re: Replacement of Cardinality (infinite middle) Date: Mon, 12 Aug 2024 02:08:29 +0200 Organization: A noiseless patient Spider Lines: 9 Message-ID: <v9bjpt$2ulmr$1@dont-email.me> References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <IzWzFdkkm97GEXyAioF3IpRiSfI@jntp> <42d2b329-5394-47e0-b8c9-098908b2e9a8@att.net> <__cCn6h6Ey1Kz0BrIf6EShypg4M@jntp> <e8a3a66a-7d83-4658-9f4c-23d7dc354fb9@att.net> <iqelfxYKWhBbwcm10DcO5hr3scI@jntp> <f920592b-897c-48b9-a9af-80f25bc60e4b@att.net> <DDPks1ynTy6IhIWNHaxt25GM1v0@jntp> <c1f0efc8-04ca-4f2d-9820-cfd54c0eca73@att.net> <v90rp5$3dbpd$1@dont-email.me> <L8Pl0ELcnLfKVO0KrMmhSqDd-Y0@jntp> <v926ot$3tjq6$1@dont-email.me> <PbydnQO1H-qe_yj7nZ2dnZfqnPqdnZ2d@giganews.com> <v98ppi$ue8i$1@dont-email.me> <v98qeo$ul4c$1@dont-email.me> <v98qm3$ue8i$4@dont-email.me> <v98rnd$uuqh$1@dont-email.me> <v9926l$102t7$1@dont-email.me> <v993ip$10cor$1@dont-email.me> <v99e6j$1etn8$1@dont-email.me> <v9anp7$2o5mp$2@dont-email.me> <ad6dnanB9ZgbYyX7nZ2dnZfqnPSdnZ2d@giganews.com> <5f795e1a-346b-43f7-a2d2-7844591f5296@att.net> Reply-To: invalid@example.invalid MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 12 Aug 2024 02:08:29 +0200 (CEST) Injection-Info: dont-email.me; posting-host="f2ebd526eb339da74ac2f9d4a2e42237"; logging-data="3102427"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/ml88PbDV1TzG/oKfGSERN" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:DIBdkbxh5nqnX0tk8NmtQEa7nkE= Content-Language: de-DE In-Reply-To: <5f795e1a-346b-43f7-a2d2-7844591f5296@att.net> Bytes: 2137 Am 11.08.2024 um 23:38 schrieb Jim Burns: > On 8/11/2024 2:10 PM, Ross Finlayson wrote: >> How do you see omega > > ω is [...] is for each inductive set, > the intersection of inductive subsets. Indeed! See Halmos' "Naive Set Theory".