Talk:Nagata-Smirnov Metrization Theorem

This needs to be checked to see which convention is used to define "regular". As it is specified on this website, I suspect that Definition:T3 Space is what's needed here, not Definition:Regular Space. --prime mover 01:24, 8 May 2012 (EDT)

Somehow I suspect that Metrizable iff Regular and has Sigma-Locally Finite Basis actually is the same thing. --Lord_Farin 17:42, 8 May 2012 (EDT)

Excellent. On the grounds that this house believes it is better to refer to the names of the perpetrators than a description of the crimes, I've put a mergeto link in that page. Now: we just need to confirm that a $\sigma$-locally finite basis is a countably local finite basis. --prime mover 18:06, 8 May 2012 (EDT)