zbMath0403.54018MaRDI QIDQ4188420
Cosimo Guido
Publication date: 1978
zbMATH Keywords
completionextensioncompletely regularregularcompletely normalT0-spacefilter trace
Mathematics Subject Classification ID
Baire category, Baire spaces (54E52) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)