@affiliate to [email protected] • 1 year agoaddition ruleimagemessage-square19arrow-up1208arrow-down12
arrow-up1206arrow-down1imageaddition rule@affiliate to [email protected] • 1 year agomessage-square19
minus-square@affiliateOPlink25•1 year agoit’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)
minus-square@[email protected]linkfedilink11•1 year agowhat’s with the square at the end? isn’t that usually for proofs?
minus-square@affiliateOPlink15•1 year agoyeah 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.
minus-squareLem Jukeslinkfedilink8•1 year agoGive it up for op actually out here answering questions like a real live teacher.
What does type() mean here?
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)
what’s with the square at the end? isn’t that usually for proofs?
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.
Give it up for op actually out here answering questions like a real live teacher.