Month: September 2015
-
Ordinales (III)
Abstract. This is the last post in the informal series on ordinals. We give von Neumann’s definition, and show how arithmetical operations can be defined on ordinals by using recursion. Finally we give a property of well ordered chains of subsets of ${\mathbb N}$ that is not shared by ordinary chains. Ordinales a la von…
-
Ordinales (II)
Abstract. This is the second post about ordinals. In the first one I discussed well-orders and some countable examples. Now we’ll get an eagle’s view on induction and recursion. Inducción y recursión en conjuntos bien ordenados. La principal utilidad de los conjuntos bien ordenados es que para ellos valen los principios de inducción y de…