Keyword:well-ordering principle

Papers
EasyChair Preprint no. 3880