TWiki> Mizar Web>MathematicsSubjectClassification>54>54E (2006-10-27, MarcoRiccardi)EditAttach

54E Spaces with richer structures

Section P S
54E05? Proximity structures and generalizations      
54E15? Uniform structures and generalizations      
54E17? Nearness spaces      
54E18? $p$-spaces, $M$-spaces, $\sigma$-spaces, etc.      
54E20? Stratifiable spaces, cosmic spaces, etc.      
54E25? Semimetric spaces      
54E30? Moore spaces      
54E35 Metric spaces, metrizability   3  
54E40? Special maps on metric spaces      
54E45? Compact (locally compact) metric spaces      
54E50? Complete metric spaces      
54E52? Baire category, Baire spaces      
54E55? Bitopologies      
54E70? Probabilistic metric spaces      
54E99? None of the above, but in this section      

P = Primary classification

S = Secondary classification

WebForm
TopicClassification MathSC2000
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2006-10-27 - 09:03:07 - MarcoRiccardi
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback