Set of well-order codes

ID: set-of-well-order-codes

The set consists of the reals coding well-orders of . For , the norm is the order type of the well-order coded by .

New to topics? Read the docs here!