06Dxx Distributive lattices
This subtopic studies distributive lattices, with emphasis on their representation theory, duality, and use as models for logical and algebraic structure.
Specific topics
06D05 Structure and representation theory
Overview
This specific topic studies structure and representation theory within distributive lattices. It emphasizes formal definitions, structural results, and standard techniques used to prove classification, representation, and extremal statements in order and lattice theory.
Related Wikipedia Page
Distributive lattice (Wikipedia)
Useful Links
Key Ideas
- Core definitions and equivalent formulations for structure and representation theory
- Representative theorems, constructions, and invariants
- Links to adjacent methods in distributive lattices
Typical Uses
Used to select proof tools, organize examples and counterexamples, and frame research questions in distributive lattices.
Applications
- Foundational and structural research in pure mathematics
- Algorithmic formulations and computational experiments where relevant
- Cross-disciplinary use in neighboring mathematical areas
References
Recommended Textbooks
06D10 Complete distributivity
Overview
This specific topic studies complete distributivity within distributive lattices. It emphasizes formal definitions, structural results, and standard techniques used to prove classification, representation, and extremal statements in order and lattice theory.
Related Wikipedia Page
Distributive lattice (Wikipedia)
Useful Links
Key Ideas
- Core definitions and equivalent formulations for complete distributivity
- Representative theorems, constructions, and invariants
- Links to adjacent methods in distributive lattices
Typical Uses
Used to select proof tools, organize examples and counterexamples, and frame research questions in distributive lattices.
Applications
- Foundational and structural research in pure mathematics
- Algorithmic formulations and computational experiments where relevant
- Cross-disciplinary use in neighboring mathematical areas
References
Recommended Textbooks
06D20 Heyting algebras
Overview
This specific topic studies heyting algebras within distributive lattices. It emphasizes formal definitions, structural results, and standard techniques used to prove classification, representation, and extremal statements in order and lattice theory.
Related Wikipedia Page
Distributive lattice (Wikipedia)
Useful Links
Key Ideas
- Core definitions and equivalent formulations for heyting algebras
- Representative theorems, constructions, and invariants
- Links to adjacent methods in distributive lattices
Typical Uses
Used to select proof tools, organize examples and counterexamples, and frame research questions in distributive lattices.
Applications
- Foundational and structural research in pure mathematics
- Algorithmic formulations and computational experiments where relevant
- Cross-disciplinary use in neighboring mathematical areas
References
Recommended Textbooks
06D22 Frames, locales
Overview
This specific topic studies frames, locales within distributive lattices. It emphasizes formal definitions, structural results, and standard techniques used to prove classification, representation, and extremal statements in order and lattice theory.
Related Wikipedia Page
Distributive lattice (Wikipedia)
Useful Links
Key Ideas
- Core definitions and equivalent formulations for frames, locales
- Representative theorems, constructions, and invariants
- Links to adjacent methods in distributive lattices
Typical Uses
Used to select proof tools, organize examples and counterexamples, and frame research questions in distributive lattices.
Applications
- Foundational and structural research in pure mathematics
- Algorithmic formulations and computational experiments where relevant
- Cross-disciplinary use in neighboring mathematical areas
References
Recommended Textbooks
06D25 Post algebras
Overview
This specific topic studies post algebras within distributive lattices. It emphasizes formal definitions, structural results, and standard techniques used to prove classification, representation, and extremal statements in order and lattice theory.
Related Wikipedia Page
Distributive lattice (Wikipedia)
Useful Links
Key Ideas
- Core definitions and equivalent formulations for post algebras
- Representative theorems, constructions, and invariants
- Links to adjacent methods in distributive lattices
Typical Uses
Used to select proof tools, organize examples and counterexamples, and frame research questions in distributive lattices.
Applications
- Foundational and structural research in pure mathematics
- Algorithmic formulations and computational experiments where relevant
- Cross-disciplinary use in neighboring mathematical areas
References
Recommended Textbooks
06D30 De Morgan algebras, Åukasiewicz algebras
Overview
This specific topic studies de morgan algebras, åukasiewicz algebras within distributive lattices. It emphasizes formal definitions, structural results, and standard techniques used to prove classification, representation, and extremal statements in order and lattice theory.
Related Wikipedia Page
Distributive lattice (Wikipedia)
Useful Links
Key Ideas
- Core definitions and equivalent formulations for de morgan algebras, åukasiewicz algebras
- Representative theorems, constructions, and invariants
- Links to adjacent methods in distributive lattices
Typical Uses
Used to select proof tools, organize examples and counterexamples, and frame research questions in distributive lattices.
Applications
- Foundational and structural research in pure mathematics
- Algorithmic formulations and computational experiments where relevant
- Cross-disciplinary use in neighboring mathematical areas
References
Recommended Textbooks
06D35 MV-algebras
Overview
This specific topic studies mv-algebras within distributive lattices. It emphasizes formal definitions, structural results, and standard techniques used to prove classification, representation, and extremal statements in order and lattice theory.
Related Wikipedia Page
Distributive lattice (Wikipedia)
Useful Links
Key Ideas
- Core definitions and equivalent formulations for mv-algebras
- Representative theorems, constructions, and invariants
- Links to adjacent methods in distributive lattices
Typical Uses
Used to select proof tools, organize examples and counterexamples, and frame research questions in distributive lattices.
Applications
- Foundational and structural research in pure mathematics
- Algorithmic formulations and computational experiments where relevant
- Cross-disciplinary use in neighboring mathematical areas
References
Recommended Textbooks
06D50 Lattices and duality
Overview
This specific topic studies lattices and duality within distributive lattices. It emphasizes formal definitions, structural results, and standard techniques used to prove classification, representation, and extremal statements in order and lattice theory.
Related Wikipedia Page
Distributive lattice (Wikipedia)
Useful Links
Key Ideas
- Core definitions and equivalent formulations for lattices and duality
- Representative theorems, constructions, and invariants
- Links to adjacent methods in distributive lattices
Typical Uses
Used to select proof tools, organize examples and counterexamples, and frame research questions in distributive lattices.
Applications
- Foundational and structural research in pure mathematics
- Algorithmic formulations and computational experiments where relevant
- Cross-disciplinary use in neighboring mathematical areas
References
Recommended Textbooks
06D72 Fuzzy lattices and quantales
Overview
This specific topic studies fuzzy lattices and quantales within distributive lattices. It emphasizes formal definitions, structural results, and standard techniques used to prove classification, representation, and extremal statements in order and lattice theory.
Related Wikipedia Page
Distributive lattice (Wikipedia)
Useful Links
Key Ideas
- Core definitions and equivalent formulations for fuzzy lattices and quantales
- Representative theorems, constructions, and invariants
- Links to adjacent methods in distributive lattices
Typical Uses
Used to select proof tools, organize examples and counterexamples, and frame research questions in distributive lattices.
Applications
- Foundational and structural research in pure mathematics
- Algorithmic formulations and computational experiments where relevant
- Cross-disciplinary use in neighboring mathematical areas
References
Recommended Textbooks