On 11/03/18 12:00, Mario Xerxes Castelán Castro wrote: > For example, skolemization can not be done in-logic in the > general case and Schröder-Bernstein theorem does not hold, so > cardinalities can not be proved to form a total order.
My bad. I was confused with the Schröder-Bernstein. I withdraw the claim that it requires AC. Still, without AC, cardinalities are not provably totally ordered.
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info