You are viewing a single thread.
View all comments View context
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)

permalink
report
parent
reply
8 points

Give it up for op actually out here answering questions like a real live teacher.

permalink
report
parent
reply
11 points

what’s with the square at the end? isn’t that usually for proofs?

permalink
report
parent
reply
15 points

yeah but sometimes when the textbook authors are feeling particularly mischievous they’ll just put them in random places. and sometimes they’ll even skip the proofs but keep the square.

permalink
report
parent
reply