infinitary combinatorics without the axiom of choice

.