Longitude
发表于 2025-4-1 04:01:54
ble atomless Boolean algebras; the maximal ideal theorem; the celebrated Stone representation theorem; the existence and uniqueness theorems for canonical extensions and completions; Tarski’s isomorphism of factors theorem for countably complete Boolean algebras, and Hanf’s related counterexamples;
deface
发表于 2025-4-1 10:03:29
http://reply.papertrans.cn/87/8641/864085/864085_62.png