Changes related to "Ordinal analysis"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
1 May 2015
- (diff | hist) . . m Ordinal notation; 23:26 . . (+4) . . PaulTanenbaum (→A simplified example using a pairing function: made transfonite recursion hot)