The ascending tree condition: constructive algebra without countable choice (2003)

by Fred Richman
Venue:Communications in Algebra