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

06 Order, lattices, ordered algebraic structures

Section P S
06A? Ordered sets      
06B Lattices See also 03G10 2  
06C? Modular lattices, complemented lattices      
06D? Distributive lattices      
06E Boolean algebras (Boolean rings) See also 03G05 17  
06F? Ordered structures      

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:20:54 - 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