Is it possible to completely embed complete Heyting Algebras into upsets of a poset? – mathoverflow.net

Is it possible to completely embed complete Heyting Algebras into upsets of a poset? – mathoverflow.net

09:57 No Comments
Let $H$ be a Heyting algebra. It is a well-known result that there is a partially ordered set (Kripke frame) X such that there is an embedding of Heyting algebras $f: H \to \mathsf{Up}(X)$, where ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

Artikel Terkait

0 Comment to "Is it possible to completely embed complete Heyting Algebras into upsets of a poset? – mathoverflow.net"

Post a Comment

Subscribe to: Post Comments (Atom)