Ok, so this sounds like it talks about cardinality in the sense of 1 or 3, rather than in the sense of 2. I guess I default to 2 because it’s more intuitive due to the transfer property, but maybe 1 or 3 are more desirable due to being mathematically richer.
From Goldblatt, since {0..H} is internal.
Ok, so this sounds like it talks about cardinality in the sense of 1 or 3, rather than in the sense of 2. I guess I default to 2 because it’s more intuitive due to the transfer property, but maybe 1 or 3 are more desirable due to being mathematically richer.