It’s because [long list of terminal values that current humans happen to share]-morality is defined by the long list of terminal values that current humans happen to share. It’s not defined by the list of terminal values that post-Omega humans would happen to have.
Is arithmetic “reserved for” a particular list of axioms or for a token for any list of axioms? Neither. Arithmetic is its axioms and all that can be computed from them.
Is this because morality is reserved for a particular list - the list we currently have—rather than a token for any list that could be had?
It’s because [long list of terminal values that current humans happen to share]-morality is defined by the long list of terminal values that current humans happen to share. It’s not defined by the list of terminal values that post-Omega humans would happen to have.
Is arithmetic “reserved for” a particular list of axioms or for a token for any list of axioms? Neither. Arithmetic is its axioms and all that can be computed from them.