Z^2 lexically ordered is countable but can’t be embedded in Z.
It seems like your intuition is shared by a lot of LW though—people seem to think it’s “obvious” that these restrictions result in total utilitarianism, even though it’s actually pretty tricky.
Not all, just countable...
Z^2 lexically ordered is countable but can’t be embedded in Z.
It seems like your intuition is shared by a lot of LW though—people seem to think it’s “obvious” that these restrictions result in total utilitarianism, even though it’s actually pretty tricky.