Keyword:axiom of (transfinite) induction

Papers
EasyChair Preprint no. 3327