Binary consistent choice on pairs and a generalization of Konig's infinity lemma Paul Howard (1984) Fundamenta Mathematicae