TWiki> Mizar Web>MathematicsSubjectClassification>06>06B (2007-01-04, MarcoRiccardi)EditAttach

06B Lattices

Section P S
06B05? Structure theory      
06B10? Ideals, congruence relations      
06B15? Representation theory      
06B20? Varieties of lattices      
06B23? Complete lattices, completions      
06B25? Free lattices, projective lattices, word problems See also 03D40, 08A50, 20F10    
06B30? Topological lattices, order topologies See also 06F30, 22A26, 54F05, 54H12    
06B35? Continuous lattices and posets, applications See also 06B30, 06D10, 06F30, 18B35, 22A26, 68Q55    
06B99 None of the above, but in this section   2  

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 - 2007-01-04 - 09:36:40 - 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