Keyword:the peculiar subset of the smallest inductive set infinite

Publications
EasyChair Preprint 2113