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.

Attachment: 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

Reply via email to