Keyword:axiom of (transfinite) induction

Publications
EasyChair Preprint 3327