I ask this question after having searched a bit the web and not having found much about the role of Axiom of Choice and General Topology.
I am trying to answer: where does the axiom of choice enters General Topology? Would it be possible to track its impact on the subject and explicit its most profound consequences? What would General Topology look without it?
Being only in my undergarduate studies I couldn't find a satisfactory answer. The fact is: I studied proofs involving AOC, in its equivalent formulation of Zorn's Lemma, both in Algebra (mainly about rings ideals and, most famously, the existence of a Hammel Basis for a vector space) and in Analysis (extension theorems of linear maps, most importantly: the Hahn Banach theorem). In a hypothetical "foundational hierarchy" of Mathematics I would naively place General Topology somehow in the middle between Logic/Algebra and Analysis (I am obviously strongly stereotyping the concept! Don't misunderstand me) and so I would expect AOC to have a grip also in this field.
Coming to what I know about General Topoloogy, it seems to me one AOC enters "only" in coverings and their properties (paracompactness, types of refinements...) which in turn found all the theorems about metrizability, metrics spaces and so on (gauges, uniform spaces, completeness). But I mean, one should expet this: we are somehow going in the direction of Analysis. There is much gneral topology beyond these topics.
I hope you can help me, maybe also through articles/books.