Path: ...!feeds.phibee-telecom.net!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: Thu, 29 Aug 2024 22:20:55 -0600
Organization: A noiseless patient Spider
Lines: 88
Message-ID: <varhba$blb9$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: base64
Injection-Date: Fri, 30 Aug 2024 06:20:59 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c97717bccb4632a585a8f1eb47f0b6fc";
	logging-data="382313"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/O84WUF/RwIdl8Sq2Iz7JyW29TcEBGKSc="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:1kwdg6v2dV7iAHHfRhBW+Z2TtHM=
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <73630f48-a854-46bd-a17b-05b6c246e0fd@att.net>
X-Antivirus: AVG (VPS 240829-6, 8/29/2024), Outbound message
Bytes: 8254

T24gOC8yOS8yMDI0IDI6MDkgUE0sIEppbSBCdXJucyB3cm90ZToNCj4gT24gOC8yOC8yMDI0
IDEwOjM2IFBNLCBKZWZmIEJhcm5ldHQgd3JvdGU6DQo+PiBPbiA4LzI4LzIwMjQgMjoxMCBQ
TSwgSmltIEJ1cm5zIHdyb3RlOg0KPiANCj4+PiBbLi4uXQ0KPj4NCj4+ICJUcmljaG90b21v
dXMiIGdlbmVyYXRlcyB0aGUgcmlnaHQgbWVudGFsIGltYWdlcywNCj4+IEkgbXVzdCBhZG1p
dC4NCj4+IEJ1dCBJJ20gbm90IHN1cmUgaG93IG9uZSBjb3VsZCBzaG93IHRoYXQNCj4+IGEg
cmVsYXRpb24gUiBvbiBTLCB3aGVyZSBSIGlzIFRyaWNob3RvbW91cywNCj4+IGltcGxpZXMg
dGhhdA0KPj4gSSBjYW4ndCAxLTEgbWFwIGEgc3RyaWN0IHN1YnNldCBvZiBSIHRvIFIuDQo+
IA0KPiBJIGFncmVlIHRoYXQgb25lIGNhbid0IHByb3ZlIHRoYXQuDQo+IEkgYW0gZG9pbmcg
c29tZXRoaW5nIGVsc2UgaGVyZS4NCj4gDQo+IA0KPiBNeSBhcG9sb2d5IGZvciBoYXZpbmcg
c3RyaXBwZWQgc28gbXVjaCBjb250ZXh0Lg0KPiBJIGdldCBjb21wbGFpbnRzIGFib3V0IHRo
ZSBsZW5ndGggb2YgbXkgcG9zdHMuDQo+IA0KPiBBbmQsIGFzIG11Y2ggYXMgc3RyaXBwaW5n
IGNvbnRleHQgaXMgbm90IHRvIG15IHRhc3RlLA0KPiBpZiBteSBjaGllZiBjb3JyZXNwb25k
ZW50IHdvbid0IHJlYWQgbXkgYnJpbGxpYW50IHRleHQsDQo+IFNvbWV0aGluZyBNdXN0IEJl
IERvbmUuDQo+IA0KPiBUaGUgU29tZXRoaW5nIHdoaWNoIE11c3QgQmUgRG9uZSBpcyB0aGF0
DQo+IG15IHNpZGUgb2YgdGhpcyBtdWx0aS55ZWFyIGNvcnJlc3BvbmRlbmNlIGhhcyBiZWNv
bWUNCj4gYSBzZWFyY2ggZm9yIHBlcmZlY3QgemluZ2VycyBieSB3aGljaCB0byB0cmFuc21p
dA0KPiBwcmluY2lwbGVzIG9mIHByZWRpY2F0ZSBsb2dpYywgZmluaXRlbmVzcywgaW5maW5p
dGVuZXNzLA0KPiBzZXRzLCBuYXR1cmFsIG51bWJlcnMsIHJlYWwgbnVtYmVycywgYW5kIG90
aGVyIHRvcGljcywNCj4gYXMgYXBwcm9wcmlhdGUuDQo+IA0KPiBUaGUgc2VhcmNoIGZvciB6
aW5nZXJzIGhhcyBrZXB0IG1lIHRvbGVyYWJseSBhbXVzZWQsDQo+IHNvIGZhciwgZW5vdWdo
IHRvIGtlZXAgbWUgcGx1Z2dpbmcgYXdheSwgYXQgbGVhc3QuDQo+IFRoZSBkb3duc2lkZSBp
cyB0aGF0IGEgcmFuZG9tIHBhc3NlcmJ5LCBzdWNoIGFzIHlvdXJzZWxmLA0KPiBtaWdodCAo
dW5kZXJzdGFuZGFibHkpIGZpbmQgd2hhdGV2ZXIud2UuaGF2ZS5oZXJlIG9wYXF1ZS4NCj4g
QWdhaW4sIG15IGFwb2xvZ3kuDQo+IA0KPiBDb250ZXh0Og0KPiANCj4gV29sZmdhbmcgTcO8
Y2tlbmhlaW0gaGFzIGJlZW4gcmVqZWN0aW5nDQo+IERlZGVraW5kLmluZmluaXRlIHNldHMs
IHNldHMgUiBzdWNoIHRoYXQNCj4gSSBjYW4gMS0xIG1hcCBhIHN0cmljdCBzdWJzZXQgb2Yg
UiB0byBSLg0KPiBXTSBjYWxscyB0aGVtICJwb3RlbnRpYWxseSBpbmZpbml0ZSIsIGJ5IHdo
aWNoDQo+IFdNIG1lYW5zIHRoYXQgdGhlc2Ugc2V0cyBjaGFuZ2UsIHdoaWNoIG1lYW5zIHRo
YXQNCj4gV00gaXMgbm90IHRhbGtpbmcgYWJvdXQgX3Rob3NlIHNldHNfDQo+IHdoaWNoIGRv
IG5vdCBjaGFuZ2UuDQo+IA0KPiBBIHR5cGljYWwgV00uYXJndW1lbnQgc2V0cyB1cCBzb21l
IHNlcXVlbmNlIGFuZA0KPiBhc3NlcnRzIGJ5IG1hdGhlbWF0aWNzLCBieSBsb2dpYw0KPiAo
aW4gcmVhbGl0eSwgYnkgImNvbW1vbiBzZW5zZSIsIGJ5ICJvYnZpb3VzbmVzcyIpDQo+IHRo
YXQgdGhlIHNlcXVlbmNlIGhhcyB0d28gZW5kcy4NCj4gU2luY2UgdGhlIHNlcXVlbmNlIGhh
cyBvbmx5IG9uZSBfdmlzaWJsZV8gZW5kLA0KPiBXTSBjb25zaWRlcnMgdGhhdCBwcm9vZiBv
ZiBhIHNlY29uZCBlbmQgd2hpY2ggaXMgX2RhcmtfDQo+IA0KPiBJdCBpcyBhbiBhcmd1bWVu
dCB3aGljaCBmb2N1c2VzIG9uIHNlcXVlbmNlcy4NCj4gDQo+IFRoZXJlIGlzIGFub3RoZXIg
ZGVmaW5pdGlvbiBvZiBmaW5pdGVuZXNzL2luZmluaXRlbmVzcw0KPiB3aGljaCBkb2Vzbid0
IGltbWVkaWF0ZWx5IGNhbGwgZm9yIERlZGVraW5kLmluZmluaXRlIHNldHMNCj4gYW5kIHdo
aWNoIGRvZXMgZm9jdXMgb24gc2VxdWVuY2VzLg0KPiDijpsgQSBmaW5pdGUgc2V0IGhhcyBh
biBvcmRlciB3aGljaCBpcyB3ZWxsLm9yZGVyZWQNCj4g4o6cIGluIGJvdGggZGlyZWN0aW9u
cy4NCj4g4o6dIC0tIFBhdWwgU3TDpGNrZWwsIDE4NjIuLi4xOTE5DQo+IA0KPiBJIGhhdmUg
YmVlbiByZS5kZXJpdmluZyBmYW1pbGlhciAodG8gdXMpIHJlc3VsdHMNCj4gZm9yIFN0w6Rj
a2VsLmZpbml0ZSBhbmQgU3TDpGNrZWwuaW5maW5pdGUgc2V0cywgaW5zdGVhZCBvZg0KPiBm
b3IgRGVkZWtpbmQuZmluaXRlIGFuZCBEZWRla2luZC5pbmZpbml0ZSBzZXRzLg0KPiANCj4g
J1N0w6Rja2VsLmZpbml0ZScgaXMgbWVzc2llci4NCj4gSSBmcmFtZSBpdCBpbiB0ZXJtcyBv
ZiBTdMOkY2tlbC5maW5pdGUgb3JkZXJzIGFuZA0KPiBTdMOkY2tlbC5pbmZpbml0ZSBvcmRl
cnMsIGJ1dCB3aGF0IGRvIHdlIHNheSBhYm91dA0KPiBzZXRzIHdoaWNoIGhhdmUgYm90aD8N
Cj4gDQo+IE15IGFuc3dlciB0byB0aGF0IGlzIHdoYXQgeW91LCBSYW5kb20gUGFzc2VyYnks
DQo+IGhhdmUgYmVmb3JlIHlvdSwgaGVyZS4NCj4gDQo+IExlbW1hLg0KPiDijpsgQSBzZXQg
Y2Fubm90IGhhdmUgYm90aCBhIFN0w6Rja2VsLmZpbml0ZSBvcmRlciBhbmQNCj4g4o6dIGEg
U3TDpGNrZWwuaW5maW5pdGUgb3JkZXIuDQo+IA0KPiBUaGF0J3Mgd2hhdCBJIHByb3ZlLCB3
aGljaCBhbGxvd3MgbWUgdG8gbWUgdG8gb2ZmZXINCj4gYSBjbGVhcmVyIChvciBhdCBsZWFz
dCBhIGRpZmZlcmVudCkgdmlldyBvZg0KPiBmaW5pdGVuZXNzIGFuZCBpbmZpbml0ZW5lc3Mu
DQo+IA0KPj4gQnV0IEknbSBub3Qgc3VyZSBob3cgb25lIGNvdWxkIHNob3cgdGhhdA0KPj4g
YSByZWxhdGlvbiBSIG9uIFMsIHdoZXJlIFIgaXMgVHJpY2hvdG9tb3VzLA0KPj4gaW1wbGll
cyB0aGF0DQo+PiBJIGNhbid0IDEtMSBtYXAgYSBzdHJpY3Qgc3Vic2V0IG9mIFIgdG8gUi4N
Cj4gDQo+IEFuZCBJIGRvbid0IHNob3cgdGhhdC4NCj4gDQo+IEkgc2hvdyB0aGF0LA0KPiBp
ZiBvbmUgb3JkZXIgb2YgQiBpcyBTdMOkY2tlbC5maW5pdGUNCj4gYW5kIGEgc2Vjb25kIG9y
ZGVyIGlzIHRyaWNob3RvbW91cywNCj4gdGhlbiB0aGUgc2Vjb25kIG9yZGVyIGlzIGFsc28g
U3TDpGNrZWwuZmluaXRlLg0KPiANCj4gVGh1cywNCj4gYmVjYXVzZSDihJUgaGFzIGEgc3Rh
bmRhcmQgb3JkZXIgd2l0aCBvbmUgZW5kLA0KPiB0aGVyZSBpcyBubyBTdMOkY2tlbC5maW5p
dGUgb3JkZXIgb2Yg4oSVLg0KPiBUaGVyZSBpcyBubyBzdXBlcnNldCBvZiDihJUgd2l0aCBh
IFN0w6Rja2VsLmZpbml0ZSBvcmRlciwNCj4gZWl0aGVyLg0KDQpJJ3ZlIHB1dCBteSBub3Nl
IGludG8gYSBmZXcgb2YgdGhlIHNhbWUgbmV3c2dyb3VwcyB0aGF0IHlvdSBoYXZlIGFuZCBJ
IA0KYW0gYXdhcmUgb2YgdGhlIGFyb21hLiBJIG5vIGxvbmdlciBldmVuIHRoaW5rIGFib3V0
IGludGVyYWN0aW5nIHdpdGggV00sIA0KUE8sIG9yIGEgZmV3IG90aGVycyBjdXQgZnJvbSB0
aGUgc2FtZSBzYWQgY2xvdGguIE9mIGNvdXJzZSBJIA0Kb2NjYXNpb25hbGx5IHBvc3Qgc29t
ZXRoaW5nICphYm91dCogdGhlbS4gVGhlcmUgYXJlIHNldmVyYWwgDQpwb3NzaWJpbGl0aWVz
IGZvciB0aGUgV00gb2YgdGhlc2UgdGhyZWFkczogMSkgSGUncyBhbiBpZGlvdDsgMikgSGUn
cyANCmV4dHJlbWVseSBsb25lc29tZSBhbmQgdGhlc2UgaW50ZXJhY3Rpb25zIHBhc3MgZm9y
ICJiZWluZyBlbmdhZ2VkIjsgMykgDQpIZSdzIG5vdCB3aG8gaGUgY2xhaW1zIHRvIGJlIChh
biBpbnN0cnVjdG9yIGF0IGEgKGp1bmlvcj8pIGNvbGxlZ2UpOyA0KSANCmhlJ3Mgc2ltcGx5
IGFuIG91dHJpZ2h0IHRyb2xsOyA1KSBIZSdzIHJlbGlnaW91czsgNikgSGUncyBkZWx1c2lv
bmFsLiBPZiANCmNvdXJzZSBhbnkgc3Vic2V0IG9mIHRoZXNlIGlzIHBvc3NpYmxlLg0KDQpJ
biBhbnkgZXZlbnQgbm8gaW50ZXJhY3Rpb25zIHdpdGggaGltIHdpbGwgY2hhbmdlIGhpcyBi
ZWhhdmlvciAtLSB0aGF0IA0KaXMgb25lIG9mIGhpcyBtb3N0IGludGVyZXN0aW5nIHNpbWls
YXJpdGllcyB0byBQTy4gSXQncyByZWFsbHkgdG9vIGJhZCANCnRoYXQgc29tZSBuZXdzZ3Jv
dXBzIHRoYXQgd2VyZSBib3RoIGludGVyZXN0aW5nIGFuZCBlZHVjYXRpb25hbCBoYXZlIA0K
ZmFsbGVuIHNvIGZhci4gSSByZW1lbWJlciB0aGUgZ3JlYXQgaG9wZXMgd2UgYWxsIGhhZCBi
YWNrIGluIHRoZSBsYXRlIA0KMTk2MHMgYW5kIGVhcmx5IDE5NzBzIGZvciBhIGRpZmZlcmVu
dCwgYmV0dGVyIGluZm9ybWVkLCBhbmQganVzdCBwbGFpbiANCmJldHRlciB3b3JsZCBiZWNh
dXNlIG9mIHRoZSBzdXBwb3J0YWJsZSB2aXNpb24gdGhlIEFSUEEgcmVzZWFyY2ggbmV0IA0K
c2VlbWVkIHRvIG9mZmVyLg0KDQpXaGF0IHdlIGFsbCBmb3Jnb3Qgd2FzIHRoZSBvbGQgd2lz
ZG9tIHRoYXQgc3RhdGVkICJDaGFyYWN0ZXIgLyBldGhpY3MgLyANCnBlcnNvbm5lbCB3b3J0
aCAvIHNvdWwgLyBldGMuIGlzIHdoYXQgeW91IGFyZSB3aGVuIG5vIG9uZSBjYW4gc2VlIHlv
dS4gDQpVbmZvcnR1bmF0ZWx5IHRoZSBpbnRlcm5ldCBtYWRlIHRoZSBtYWdpYyBzaGllbGQg
dGhhdCBleHBvc2VkIGFsbCBvZiANCmh1bWFuIG5hc3RpbmVzcyB3aGlsZSBtYXNraW5nIHRo
ZSBmYWNlcyBvZiB0aGUgcGVycGV0cmF0b3JzLg0KLS0gDQpKZWZmIEJhcm5ldHQNCg0K