The ''World's simplest axiom of choice'' fails
intuitionistic set theory with countable or dependent choice
scientific article; zbMATH DE number 3786778