All Questions
6 questions
13
votes
2
answers
1k
views
What's the deal with De Morgan algebras and Kleene algebras?
The notion of Boolean algebras, and the corresponding classical propositional logic, is very standard, and it is easy to find information about them (for example, among many other such works, there is ...
2
votes
1
answer
170
views
Reference for lattices as algebraic structures
I want to study lattices as a structure related to ring theory. I am familiar with lattices as a beginner but I want to go further and know their connections to ring theory. Do you know a book which ...
6
votes
1
answer
325
views
Distributive lattice of subspaces
Let $V$ be a finite dimensional vector space. Let $\Lambda$ be a collection of subspaces of $V$ such that, if $X$ and $Y$ are in $\Lambda$, then $X\cap Y$ and $X+Y$ are in $\Lambda$. This makes $\...
3
votes
0
answers
162
views
Open sets on a Stone space
If $B$ is a Boolean algebra (possibly assumed complete), is there a standard name for the Heyting algebra (or frame) $L := \Omega(S(B))$ of open sets on the Stone space $S(B)$ of $B$, — or for the ...
31
votes
5
answers
5k
views
Gossip about Grothendieck and distributive lattices
In Gian-Carlo Rota's Indiscrete Thoughts, there a list of mathematical gossip among which one reads:
[...] What would have happened [...] if Grothendieck had known the theory of distributive ...
0
votes
0
answers
206
views
Vector-valued valuations on lattices
There's a fair amount of work on valuations on (modular) lattices, by which I mean functions $v : \mathcal{L} \rightarrow R$ that satisfy the modular expression
$$v(x) + v(y) = v(x \wedge y) + v(x \...