Stone prime filter theorem

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

.

The Boolean prime ideal theorem is the Boolean-algebra version; distributivity gives this corresponding filter-extension statement.

 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