Deutsch English Français Italiano |
<vavo9p$13tk4$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Jeff Barnett <jbb@notatt.com> Newsgroups: sci.logic,sci.math Subject: Re: Replacement of Cardinality Date: Sat, 31 Aug 2024 12:44:06 -0600 Organization: A noiseless patient Spider Lines: 81 Message-ID: <vavo9p$13tk4$1@dont-email.me> References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <va4h96$3r7nv$1@dont-email.me> <H5iV5HXUBwUzWtVKRZj7h4N2LdA@jntp> <va543m$3u6dp$1@dont-email.me> <kN73KZJabPuiasJJ0DR6UOOrMHE@jntp> <d47ad77b3f2bd0bc6280b8eca772b280f3a18dc8@i2pn2.org> <ivRRwss8WgoMTIfJa5g04TJmRxU@jntp> <db885c7c1e1a5bfdf60e90fa9882bfb73b4e6ce7@i2pn2.org> <eY2Memk56jLKsrTeR3kBDQQqfHI@jntp> <bdfbb725-7fc3-4e17-b09b-4d6191d301a5@att.net> <tvUGDEKZBjBIOn4R0HIJvG5es4k@jntp> <aab21a74-45e2-4a91-835f-d6aa2adeb7ff@att.net> <vansci$3j3d7$1@dont-email.me> <adb8b04c-8fb0-4a96-8d4a-d04bda37a5af@att.net> <vaomrb$3qgik$1@dont-email.me> <73630f48-a854-46bd-a17b-05b6c246e0fd@att.net> <varhba$blb9$1@dont-email.me> <c843fff4-a7de-43cd-8aac-c87a8f1ad9a6@att.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 Injection-Date: Sat, 31 Aug 2024 20:44:10 +0200 (CEST) Injection-Info: dont-email.me; posting-host="4b3f515a8a482db5c8dbde11270b8dd5"; logging-data="1177220"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19f0Nk3Be/91yk/R5RuyD1kjCTu9FU92hk=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:+Oo0+xAOcDP3FQFPfvzFVLwujNI= In-Reply-To: <c843fff4-a7de-43cd-8aac-c87a8f1ad9a6@att.net> Content-Language: en-US X-Antivirus-Status: Clean X-Antivirus: AVG (VPS 240831-6, 8/31/2024), Outbound message Bytes: 7724 T24gOC8zMS8yMDI0IDEyOjIwIFBNLCBKaW0gQnVybnMgd3JvdGU6DQo+IE9uIDgvMzAvMjAy NCAxMjoyMCBBTSwgSmVmZiBCYXJuZXR0IHdyb3RlOg0KPj4gT24gOC8yOS8yMDI0IDI6MDkg UE0sIEppbSBCdXJucyB3cm90ZToNCj4gDQo+Pj4gV29sZmdhbmcgTcO8Y2tlbmhlaW0gaGFz IGJlZW4gcmVqZWN0aW5nDQo+Pj4gRGVkZWtpbmQuaW5maW5pdGUgc2V0cywgc2V0cyBSIHN1 Y2ggdGhhdA0KPj4+IEkgY2FuIDEtMSBtYXAgYSBzdHJpY3Qgc3Vic2V0IG9mIFIgdG8gUi4N Cj4+PiBXTSBjYWxscyB0aGVtICJwb3RlbnRpYWxseSBpbmZpbml0ZSIsIGJ5IHdoaWNoDQo+ Pj4gV00gbWVhbnMgdGhhdCB0aGVzZSBzZXRzIGNoYW5nZSwgd2hpY2ggbWVhbnMgdGhhdA0K Pj4+IFdNIGlzIG5vdCB0YWxraW5nIGFib3V0IF90aG9zZSBzZXRzXw0KPj4+IHdoaWNoIGRv IG5vdCBjaGFuZ2UuDQo+Pj4NCj4+PiBBIHR5cGljYWwgV00uYXJndW1lbnQgc2V0cyB1cCBz b21lIHNlcXVlbmNlIGFuZA0KPj4+IGFzc2VydHMgYnkgbWF0aGVtYXRpY3MsIGJ5IGxvZ2lj DQo+Pj4gKGluIHJlYWxpdHksIGJ5ICJjb21tb24gc2Vuc2UiLCBieSAib2J2aW91c25lc3Mi KQ0KPj4+IHRoYXQgdGhlIHNlcXVlbmNlIGhhcyB0d28gZW5kcy4NCj4+PiBTaW5jZSB0aGUg c2VxdWVuY2UgaGFzIG9ubHkgb25lIF92aXNpYmxlXyBlbmQsDQo+Pj4gV00gY29uc2lkZXJz IHRoYXQgcHJvb2Ygb2YgYSBzZWNvbmQgZW5kIHdoaWNoIGlzIF9kYXJrXw0KPiANCj4+IEkn dmUgcHV0IG15IG5vc2UgaW50byBhIGZldyBvZg0KPj4gdGhlIHNhbWUgbmV3c2dyb3VwcyB0 aGF0IHlvdSBoYXZlIGFuZA0KPj4gSSBhbSBhd2FyZSBvZiB0aGUgYXJvbWEuDQo+PiBJIG5v IGxvbmdlciBldmVuIHRoaW5rIGFib3V0IGludGVyYWN0aW5nIHdpdGgNCj4+IFdNLCBQTywg b3IgYSBmZXcgb3RoZXJzIGN1dCBmcm9tIHRoZSBzYW1lIHNhZCBjbG90aC4NCj4+IE9mIGNv dXJzZSBJIG9jY2FzaW9uYWxseSBwb3N0IHNvbWV0aGluZyAqYWJvdXQqIHRoZW0uDQo+PiBU aGVyZSBhcmUgc2V2ZXJhbCBwb3NzaWJpbGl0aWVzIGZvcg0KPj4gdGhlIFdNIG9mIHRoZXNl IHRocmVhZHM6DQo+PiAxKSBIZSdzIGFuIGlkaW90Ow0KPj4gMikgSGUncyBleHRyZW1lbHkg bG9uZXNvbWUgYW5kDQo+PiDCoHRoZXNlIGludGVyYWN0aW9ucyBwYXNzIGZvciAiYmVpbmcg ZW5nYWdlZCI7DQo+PiAzKSBIZSdzIG5vdCB3aG8gaGUgY2xhaW1zIHRvIGJlDQo+PiDCoChh biBpbnN0cnVjdG9yIGF0IGEgKGp1bmlvcj8pIGNvbGxlZ2UpOw0KPj4gNCkgaGUncyBzaW1w bHkgYW4gb3V0cmlnaHQgdHJvbGw7DQo+PiA1KSBIZSdzIHJlbGlnaW91czsNCj4+IDYpIEhl J3MgZGVsdXNpb25hbC4NCj4gDQo+IDcpIEhlJ3MgYSB2aWN0aW0gb2YgdGhlIER1bm5pbmcu S3J1Z2VyIGVmZmVjdC4NCj4gDQo+PiBPZiBjb3Vyc2UgYW55IHN1YnNldCBvZiB0aGVzZSBp cyBwb3NzaWJsZS4NCj4+DQo+PiBJbiBhbnkgZXZlbnQNCj4+IG5vIGludGVyYWN0aW9ucyB3 aXRoIGhpbSB3aWxsIGNoYW5nZSBoaXMgYmVoYXZpb3IgLS0NCj4+IHRoYXQgaXMgb25lIG9m IGhpcyBtb3N0IGludGVyZXN0aW5nIHNpbWlsYXJpdGllcyB0byBQTy4NCj4+IEl0J3MgcmVh bGx5IHRvbyBiYWQgdGhhdCBzb21lIG5ld3Nncm91cHMNCj4+IHRoYXQgd2VyZSBib3RoIGlu dGVyZXN0aW5nIGFuZCBlZHVjYXRpb25hbA0KPj4gaGF2ZSBmYWxsZW4gc28gZmFyLg0KPj4g SSByZW1lbWJlciB0aGUgZ3JlYXQgaG9wZXMgd2UgYWxsIGhhZA0KPj4gYmFjayBpbiB0aGUg bGF0ZSAxOTYwcyBhbmQgZWFybHkgMTk3MHMNCj4+IGZvciBhIGRpZmZlcmVudCwgYmV0dGVy IGluZm9ybWVkLCBhbmQNCj4+IGp1c3QgcGxhaW4gYmV0dGVyIHdvcmxkDQo+PiBiZWNhdXNl IG9mIHRoZSBzdXBwb3J0YWJsZSB2aXNpb24NCj4+IHRoZSBBUlBBIHJlc2VhcmNoIG5ldCBz ZWVtZWQgdG8gb2ZmZXIuDQo+IA0KPiBQbGVhc2UsIGRvIG5vdCBzdXJyZW5kZXIgeW91ciB2 aXNpb24gb2YNCj4gYSBqdXN0IHBsYWluIGJldHRlciB3b3JsZC4NCj4gVGhlc2UgdGhpbmdz IHRha2UgdGltZS4NCj4gDQo+IFRoZXJlJ3MgYSBwaHJhc2UgSSBoZWFyZCBzb21ld2hlcmUg dGhhdA0KPiBleHBsYWluZWQgc28gbXVjaCB0byBtZSB0aGF0DQo+IGl0IGhhcyBiZWNvbWUg c29tZXRoaW5nIG9mIGEgY2F0Y2gucGhyYXNlIG9mIG1pbmUuDQo+IOKOmyBUZWNobm9sb2d5 IGlzIGV2ZXJ5dGhpbmcgdGhhdCBkb2Vzbid0IHdvcmsgeWV0Lg0KPiDijp0gLS0gVy4gRGFu bnkgSGlsbGlzDQoNCkFuIG9sZCBmcmllbmQgYW5kIGNvbGxlYWd1ZSwgRGFubnkgQ29oZW4s IGFsd2F5cyB1c2VkIHRvIGNoaWRlIG1lIHdpdGggDQoiQUkgaXMgYSBwcm9taXNpbmcgdGVj aG5vbG9neTsgYWx3YXlzIGhhcyBiZWVuIGFuZCBhbHdheXMgd2lsbCBiZSEiIEkNCmFsc28g cHVibGlzaGVkIGFuIGFydGljbGUgKGh0dHBzOi8vbm90YXR0LmNvbS9sYW1lbnQucGRmKSBp biB0aGUgQUkgDQpNYWdhemluZSBjYWxsZWQgIlRoZSBBSWVyJ3MgTGFtZW50Ii4gQWxsIG9m IHdoaWNoLCBhbG9uZyB3aXRoIEhpbGxpcyANCmFib3ZlLCBzYXkgc29tZXdoYXQgdGhlIHNh bWUgdGhpbmcuDQoNCj4gaHR0cHM6Ly93d3cud2lyZWQuY29tLzIwMTAvMDYvY29nbml0aXZl LXN1cnBsdXMvDQo+IHwgQ29nbml0aXZlIFN1cnBsdXMsDQo+IHwgdGhlIG5ldyBib29rIGJ5 IGludGVybmV0IGd1cnUgQ2xheSBTaGlya3ksDQo+IHwgYmVnaW5zIHdpdGggYSBicmlsbGlh bnQgYW5hbG9neS4NCj4gfCBIZSBzdGFydHMgd2l0aCBhIGRlc2NyaXB0aW9uIG9mIExvbmRv biBpbiB0aGUgMTcyMHMsDQo+IHwgd2hlbiB0aGUgY2l0eSB3YXMgaW4gdGhlIG1pZHN0IG9m IGEgZ2luIGJpbmdlLg0KPiB8IEEgZmxvb2Qgb2YgbmV3IGFycml2YWxzIGZyb20gdGhlIGNv dW50cnlzaWRlIG1lYW50DQo+IHwgdGhlIG1ldHJvcG9saXMgd2FzIGNyb3dkZWQsIGZpbHRo eSwgYW5kIHZpb2xlbnQuDQo+IHwgQXMgYSByZXN1bHQsDQo+IHwgcGVvcGxlIHNvdWdodCBv dXQgdGhlIGFuZXN0aGVzaWEgb2YgYWxjb2hvbA0KPiB8IGFzIHRoZXkgdHJpZWQgdG8gY29s bGVjdGl2ZWx5IGZvcmdldA0KPiB8IHRoZSBlYXJseSBkYXlzIG9mIHRoZSBJbmR1c3RyaWFs IFJldm9sdXRpb24uDQo+IA0KPiBPdmVyZmxvd2luZyBjaXRpZXMsIGRpc3RpbGxlZCBzcGly aXRzLCBhdCB0aGUgdGltZSwNCj4gd2VyZSBwYXJ0IG9mIGV2ZXJ5dGhpbmcgdGhhdCBkb2Vz bid0IHdvcmsgeWV0Lg0KPiBBbmQsIHRvIHNvbWUgZGVncmVlLCB0aGV5J3JlIHN0aWxsIHBh cnQgLS0NCj4gYnV0IHdlJ3ZlIGxlYXJuZWQgYSBsb3QgaW4gdGhlIGxhc3QgZmV3IGNlbnR1 cmllcw0KPiBhYm91dCBob3cgdG8gZGVhbCB3aXRoIGFsbCB0aGF0Lg0KPiANCj4gSSBoYXZl IGFuIGFiaWRpbmcgZmFpdGggdGhhdCBhbnN3ZXJzIGV4aXN0IHRvDQo+IHRoZSBpZGlvdC90 cm9sbC9EdW5uaW5nLktydWdlciBwcm9ibGVtLg0KPiBBbmQgdGhlcmUgYXJlIGVub3VnaCBw ZW9wbGUgd2hvIGRlYXJseSB3YW50IHRvDQo+IGZpbmQgdGhvc2UgYW5zd2VycywgdGhhdCBJ IGZlZWwgY29uZmlkZW50IGluDQo+IG15IHByZWRpY3Rpb24gdGhhdCBhbnN3ZXJzIHdpbGwg YmUgZm91bmQuDQo+IA0KPj4gV2hhdCB3ZSBhbGwgZm9yZ290IHdhcw0KPj4gdGhlIG9sZCB3 aXNkb20gdGhhdCBzdGF0ZWQNCj4+ICJDaGFyYWN0ZXIgLyBldGhpY3MgLyBwZXJzb25uZWwg d29ydGggLyBzb3VsIC8gZXRjLg0KPj4gaXMgd2hhdCB5b3UgYXJlIHdoZW4gbm8gb25lIGNh biBzZWUgeW91LiBVbmZvcnR1bmF0ZWx5DQo+PiB0aGUgaW50ZXJuZXQgbWFkZSB0aGUgbWFn aWMgc2hpZWxkIHRoYXQNCj4+IGV4cG9zZWQgYWxsIG9mIGh1bWFuIG5hc3RpbmVzcyB3aGls ZQ0KPj4gbWFza2luZyB0aGUgZmFjZXMgb2YgdGhlIHBlcnBldHJhdG9ycy4NCj4gDQo+IEl0 IHdhc24ndCB0aGF0IGxvbmcgYWdvIHRoYXQgZXZlcnlvbmUgdW5kZXJzdG9vZA0KPiBhbmQg YWdyZWVkIHdpdGgNCj4g4o6bIE5ldmVyIHBpY2sgYSBmaWdodCB3aXRoDQo+IOKOnCBhIG1h biB3aG8gYnV5cyBpbmsgYnkgdGhlIGJhcnJlbC4NCj4g4o6dIC0tIHBvc3NpYmx5IE1hcmsg VHdhaW4NCj4gDQo+IFRoZXNlIGRheXMsIGVzc2VudGlhbGx5IGV2ZXJ5b25lIGJ1eXMgaW5r IGJ5DQo+IHRoZSBtZXRhcGhvcmljYWwgYmFycmVsLg0KPiANCj4gSXQgaXMgYSBzaXR1YXRp b24gd2hpY2ggaGFzIGl0cyBkb3duc2lkZXMsDQo+IGJ1dCwgZXZlbiBzbywgSSBwcmVmZXIg aXQgdG8gdGhlIHByZXZpb3VzIGFycmFuZ2VtZW50Lg0KLS0gDQpKZWZmIEJhcm5ldHQNCg0K