Recent Progress in General Topology