Can a brouwerian lattice be extended into a boolean algebra?
Can an arbitrary brouwerian lattice (=locale = frame) be extended into a
boolean algebra?
What do I mean by "extended"? I don't know. All I know is that our
brouwerian lattice is a sub-poset of the resulting boolean lattice.
I also know that the extension may not preserver infinite meets.
However I expect (however not sure) that the extension preserves joins and
finite meets.
No comments:
Post a Comment