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.
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.