Path: ...!weretis.net!feeder8.news.weretis.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: Wed, 28 Aug 2024 20:36:25 -0600
Organization: A noiseless patient Spider
Lines: 62
Message-ID: <vaomrb$3qgik$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: base64
Injection-Date: Thu, 29 Aug 2024 04:36:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6442bc6f40f9e832b41cb6195657ffc9";
	logging-data="4014676"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/5NSekfSw9NcQKxYK0Owx9gyRhokk4JnI="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:zeJCZ0nGyg//sxJSJSn3jTyUEV8=
X-Antivirus: AVG (VPS 240828-8, 8/28/2024), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <adb8b04c-8fb0-4a96-8d4a-d04bda37a5af@att.net>
Bytes: 6200

T24gOC8yOC8yMDI0IDI6MTAgUE0sIEppbSBCdXJucyB3cm90ZToNCj4gT24gOC8yOC8yMDI0
IDM6MDQgUE0sIEplZmYgQmFybmV0dCB3cm90ZToNCj4+IE9uIDgvMjgvMjAyNCAxMjoxMyBB
TSwgSmltIEJ1cm5zIHdyb3RlOg0KPj4+IE9uIDgvMjcvMjAyNCAzOjExIFBNLCBXTSB3cm90
ZToNCj4+Pj4gTGUgMjcvMDgvMjAyNCDDoCAwMjowNiwgSmltIEJ1cm5zIGEgw6ljcml0IDoN
Cj4+Pj4+IE9uIDgvMjUvMjAyNCAzOjQ1IFBNLCBXTSB3cm90ZToNCj4gDQo+Pj4+Pj4gVGhp
cyBmdW5jdGlvbiBleGlzdHMgYmVjYXVzZQ0KPj4+Pj4+IG5vdGhpbmcgY29udHJhZGljdHMg
aXRzIGV4aXN0ZW5jZS4NCj4+Pj4+DQo+Pj4+PiBFeGNlcHQgZm9yIHRoZSBjb250cmFkaWN0
aW5nDQo+Pj4+PiBjb25zZXF1ZW5jZXMgb2YgaXRzIGV4aXN0ZW5jZS4NCj4+Pj4NCj4+Pj4g
VGhlIGZ1bmN0aW9uIGV4aXN0cyBpZg0KPj4+PiBhY3R1YWwgaW5maW5pdHkgZXhpc3RzLg0K
Pj4+PiBUaGUgZnVuY3Rpb24gZG9lcyBub3QgZXhpc3QgaWYNCj4+Pj4gb25seSBwb3RlbnRp
YWwgaW5maW5pdHkgZXhpc3RzLg0KPj4+Pg0KPj4+Pj4gwqziiIPhtL94PjA6IE5VRih4KSA9
IDENCj4+Pj4NCj4+Pj4gVGhlbiBOVUYoeCkgZG9lcyBub3QgZXhpc3QNCj4+Pj4gYW5kIGlu
ZmluaXR5IGlzIG5vdCBhY3R1YWwNCj4+Pj4gYW5kIHNldHMgYXJlIG5vdCBjb21wbGV0ZS4N
Cj4+Pg0KPj4+IEluIGEgZmluaXRl4oG/4bWS4bWX4ZCn4bWC4bS5IG9yZGVyIOKfqEIsPOKf
qQ0KPj4+IGVhY2ggbm9uLmVtcHR5IFMg4oqGIEIgaXMgMi5lbmRlZC4NCj4+Pg0KPj4+IElu
IGEgZmluaXRl4bWC4bS5IG9yZGVyIOKfqEIsPOKfqQ0KPj4+IG5vIG9uZSBjYW4gc2F5DQo+
Pj4gd2hhdCBhIHNldOG1guG0uSBpcywNCj4+PiB3aGF0IGFuIG9yZGVy4bWC4bS5IGlzLA0K
Pj4+IHdoYXQgZmluaXRl4bWC4bS5IGlzLg0KPj4+IFBlcmhhcHMsIGluIDMwIG1vcmUgeWVh
cnMsDQo+Pj4gdGhlc2UgcXVlc3Rpb24gd2lsbCBoYXZlIGFuc3dlcnMuDQo+Pj4NCj4+PiBB
biBpbmZpbml0ZeKBv+G1kuG1l+GQp+G1guG0uSBvcmRlciDin6hCLOKXgeKfqSBpcw0KPj4+
IHRyaWNob3RvbW91cyBhbmQgbm90IGZpbml0ZeKBv+G1kuG1l+GQp+G1guG0uS4NCj4+DQo+
PiBUcmljaG90b21vdXM/DQo+PiBEaWQgeW91IGFjdHVhbGx5IG1lYW4gdG8gc2F5ICJkZW5z
ZSBvcmRlciIsDQo+PiAiZGVuc2UgaW4gaXRzZWxmIiwgb3Igc29tZXRoaW5nIGVsc2UgYWtp
bj8NCj4gDQo+IEkgbWVhbnQgInRyaWNob3RvbW91cyIuDQo+IA0KPiBJIGNvdWxkIGVxdWFs
bHkud2VsbCBoYXZlIHNhaWQgInRvdGFsIOKfqEIs4peB4p+pIg0KPiBidXQgInRyaWNob3Rv
bW91cyIgc2VlbXMgbGVzcyBtaXN1bmRlcnN0b29kIGJ5IFdNLg0KPiANCj4gSSBkaWRuJ3Qg
Ym90aGVyIHRvIHNheSAidHJpY2hvdG9tb3VzIGFuZCBmaW5pdGUg4p+oQizil4Hin6kiDQo+
IGJlY2F1c2UgdHJpY2hvdG9teSBhbmQgdHJhbnNpdGl2aXR5IGZvbGxvdyBmcm9tDQo+Pj4g
ZWFjaCBub24uZW1wdHkgUyDiioYgQiBpcyAyLmVuZGVkLg0KPiANCj4gSSd2ZSBwcm92ZWQg
dGhlc2UgZWxzZXRocmVhZDoNCj4gDQo+IOKOmyBpZg0KPiDijpwg4p+oQizil4Hin6k6IGVh
Y2ggUyDiioYgQjoge30gb3IgMi5lbmRlZCBhbmQNCj4g4o6cIOKfqEIsPOKfqTogTk9UIGVh
Y2ggUyDiioYgQjoge30gb3IgMi5lbmRlZA0KPiDijpwgdGhlbg0KPiDijpwgc2V0cyBTLCB7
eH0gZXhpc3Qgc3VjaCB0aGF0DQo+IOKOnCDin6hTLDzin6k6IGVhY2ggVCDiioYgUzoge30g
b3IgMi5lbmRlZA0KPiDijp0g4p+oU+KIqnt4fSw84p+pOiBOT1QgZWFjaCBUIOKKhiBT4oiq
e3h9OiB7fSBvciAyLmVuZGVkDQo+IA0KPiDijpsgbm8gc2V0cyBTLCB7eH0sIHRyaWNob3Rv
bW91cyAnPCcgZXhpc3Qgc3VjaCB0aGF0DQo+IOKOnCDin6hTLDzin6k6IGVhY2ggVCDiioYg
Uzoge30gb3IgMi5lbmRlZA0KPiDijp0g4p+oU+KIqnt4fSw84p+pOiBOT1QgZWFjaCBUIOKK
hiBT4oiqe3h9OiB7fSBvciAyLmVuZGVkDQo+IA0KPiAiVHJpY2hvdG9tb3VzIiBhdm9pZHMg
eCBub3QgYmVpbmcgY29tcGFyYWJsZSB0bw0KPiB0aGUgY29udGVudHMgb2YgUywgYW5kIHt4
fSBiZWluZyBub3QuMi5lbmRlZC4NCj4gDQo+IFRoYXQgaXMgaG93IEkgcHJvdmU6DQo+IGJl
Y2F1c2UNCj4g4oSVIGhhcyBPTkUgb3JkZXIgd2l0aCBPTkUgbm9uLjIuZW5kZWQgbm9uLnt9
IHN1YnNldA0KPiDihJUgaGFzIE5PIG9yZGVyIFdJVEhPVVQgb25lIG5vbi4yLmVuZGVkIG5v
bi57fSBzdWJzZXQuDQo+IA0KPiBUaGF0J3Mgd2h5IGFueSBhbGwuMi5lbmRlZC5ub24ue30u
c3Vic2V0cyBPUkRFUiB3b3Jrcw0KPiBhcyBhIHdheSB0byBkaXN0aW5ndWlzaCBhIGZpbml0
ZSBTRVQgZnJvbSBpbmZpbml0ZS4NCj4gDQo+IEkgdGhpbmsgdGhhdCBzb21lIG9mIHRob3Nl
IGluIHRoaXMgdGhyZWFkDQo+IGFyZSBza2VwdGljYWwgb2YgdGhhdCByZXN1bHQuDQo+IFRo
YW5rIHlvdSBmb3IgdGhlIGV4Y3VzZSB0byByZXBlYXQgaXQuDQpXZWxsICJkZW5zZSBvcmRl
ciIgYW5kICJkZW5zZSBpbiBpdHNlbGYiIGFyZSB3ZWxsIGtub3cgdGVybXMgaW4gDQplbGVt
ZW50YXJ5IHN0dWRpZXMgb2Ygb3JkZXJpbmcsIHBvaW50IHNldCB0b3BvbG9neSAoYWthIHJl
YWwgYW5hbHlzaXMpIA0KYW5kIHNvIG9uLiBUaGV5IG9ubHkgaW1wbHkgbm9uIGZpbml0ZSBp
ZiB5b3UgaGF2ZSB0aGUgcmlnaHQgYXhpb21zIGFuZCANCmRlZmluaXRpb25zIGF0IGhhbmQu
IEJ5IHVzaW5nIHRoZSB0ZXJtcyBJIHN1Z2dlc3RlZCwgeW91IGF1dG9tYXRpY2FsbHkgDQpk
cmFnIGluIHRoZSByZXN0IG9mIHRoZSBuZWNlc3NhcnkgbWFnaWMuICJUcmljaG90b21vdXMi
IGdlbmVyYXRlcyB0aGUgDQpyaWdodCBtZW50YWwgaW1hZ2VzLCBJIG11c3QgYWRtaXQuIEJ1
dCBJJ20gbm90IHN1cmUgaG93IG9uZSBjb3VsZCBzaG93IA0KdGhhdCBhIHJlbGF0aW9uIFIg
b24gUywgd2hlcmUgUiBpcyBUcmljaG90b21vdXMsIGltcGxpZXMgdGhhdCBJIGNhbid0IA0K
MS0xIG1hcCBhIHN0cmljdCBzdWJzZXQgb2YgUiB0byBSLiBbQWN0dWFsbHkgeW91IGNhbid0
ISBMZXQgUiBiZSAiPSIgYW5kIA0KbGV0IFMgY29uc2lzdCBvZiBhIHNpbmdsZSBlbGVtZW50
LCB0aGVuIHRyaWNob3RvbXkgaXMgYSBwcm9wZXJ0eSBvZiBSIG9uIA0KUyBidXQgUyBpcyBm
aW5pdGUuIFtIdW1tISBJIHdvbmRlciBpZiB0aGUgc2FtZSBleGFtcGxlIGJsb3dzIG15IA0K
c3VnZ2VzdGVkIHRlcm1pbm9sb2d5IG91dCBvZiB0aGUgd2F0ZXIgdG9vP11dDQotLSANCkpl
ZmYgQmFybmV0dA0KDQo=