Choice functions and well-orderings over the infinite binary tree
scientific article; zbMATH DE number 5818020
scientific article