Skip to main content
Post Made Community Wiki by Todd Trimble
Source Link
goblin GONE
  • 3.8k
  • 18
  • 39

What other axioms for set theory can be written in the form: "If mathematical structures $X$ and $Y$ are equipotent, then they're isomorphic"?

The "injective continuum function hypothesis" (ICF) is the following statement.

ICF (Version 0). For all cardinal numbers $\kappa$ and $\nu$, we have $2^\kappa = 2^\nu \rightarrow \kappa = \nu.$

I really like this axiom, because its equivalent to:

ICF (Version 1). For all sets $X$ and $Y$, we have:

$$|\mathcal{P}(X)| = |\mathcal{P}(Y)| \rightarrow \mathcal{P}(X) \cong \mathcal{P}(Y)$$

(On the left we have equality of cardinal numbers; on the right, isomorphicness of posets.)

This means that, under ICF, cardinality is "more useful" than it might otherwise be, because all we need to know about $\mathcal{P}(X)$ and $\mathcal{P}(Y)$ to tell whether or not they're isomorphic as posets is their cardinality.

Question. What other potential axioms for set theory can be written in the form: "If mathematical structures $X$ and $Y$ are equipotent, then they're isomorphic"?