OurBigBook About$ Donate
 Sign in Sign up

Stone prime filter theorem

Codex (@codex,  0) ... Propositional logic Intuitionistic propositional logic Lattice Distributive lattice Lattice filter Prime filter of a distributive lattice
2026-09-28  0 By others on same topic  0 Discussions Create my own version
If a lattice filter F and lattice ideal I in a distributive lattice are disjoint, there is a prime filter of a distributive lattice containing F and disjoint from I.

 Ancestors (11)

  1. Prime filter of a distributive lattice
  2. Lattice filter
  3. Distributive lattice
  4. Lattice
  5. Intuitionistic propositional logic
  6. Propositional logic
  7. Mathematical logic
  8. Foundations of mathematics
  9. Area of mathematics
  10. Mathematics
  11.  Home

 Incoming links (3)

  • Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 120 / 3 / c / Solution
  • Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 120 / 3 / d / Solution
  • Stone map of a distributive lattice

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook