Project

Logical limit laws for ordinals