Le potenze ordinali

• i numeri ordinali (rappresentati come insiemi, ciascuno contiene tutti i precedenti)

• ordinali finiti:

0 _ _____________________________________

• ordinali transfiniti:

_ _______________________________________________

_____, se _____

• (S, _) reticolo completo, __operatore monotono su S

__0 = _

__(n+1) = _(__n)

___ = lub {__n | n < __}

__(a) = _(__(a-1))

Previous slide

Next slide

Back to first slide

View graphic version