Karl-Heinz Diener A Remark an Ascending Chain Conditions, the CouDtable Axiom of Choice and the Principle of Dependent Choices. 415-421 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#Diener94