>Is there any particular topology that may be useful to include for
future work?
Metric spaces would be interesting. Historically, the equivalence of Heine and Cauchy definitions of convergence was one of first things that were noticed (by Sierpinski) to be dependent on the Axiom of Choice. But I think it's best to write about things that interest you, or the background for them if that is too far off.
Slawekk
From: daniel <address@hidden>
To: address@hidden
Sent: Thursday, September 6, 2012 4:18 PM
Subject: Re: [Isarmathlib-devel] A contribution
I'll write more informal text and try
to change the style. I'll keep the html document updated.
Is there any particular topology that may be useful to include for
future work?
Daniel