Prime filters and ideals in distributive lattices

DOI10.2478/forma-2013-0023zbMath1298.06003OpenAlexW2082855678MaRDI QIDQ467793

Adam Grabowski

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0023

zbMATH Keywords

distributive latticesprime filtersprime ideals

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Stone lattices. ⋮ Mechanizing complemented lattices within Mizar type system

Uses Software

• Mizar

Cites Work

• Lattice Theory: Foundation
• The Theory of Representation for Boolean Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Prime filters and ideals in distributive lattices