25 points
it’s the “order type” of a well ordering on a set. so, given a set X with a total ordering R, type(X,R) is the unique ordinal isomorphic to (X,R)
8 points
11 points
15 points
it’s the “order type” of a well ordering on a set. so, given a set X with a total ordering R, type(X,R) is the unique ordinal isomorphic to (X,R)
7.9K
Monthly active users
18K
Posts
199K
Comments