Quantcast
Viewing all articles
Browse latest Browse all 3

What axioms need to be added to second-order ZFC before it has a unique model (up to isomorphism)?

What axioms need to be added to ZFC2 (second-order ZFC) before the theory has a unique model (up to isomorphism)?

I was thinking: adjoin the generalized continuum hypothesis (GCH) and a statement asserting that no inaccessible cardinals exist.


Viewing all articles
Browse latest Browse all 3

Trending Articles