A new characterization of complete Heyting and co-Heyting algebras

DOI10.23638/LMCS-13(3:25)2017MaRDI QIDQ5367064zbMATH OpenFDO

Authors Francesco Ranzato

Publication date 12 October 2017

Full work available at URL https://arxiv.org/abs/1504.03919

zbMATH Keywords

complete Heyting algebraVeinott ordering

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Noncooperative games (91A10)

Abstract: We give a new order-theoretic characterization of a complete Heyting and co-Heyting algebra $C$. This result provides an unexpected relationship with the field of Nash equilibria, being based on the so-called Veinott ordering relation on subcomplete sublattices of $C$, which is crucially used in Topkis' theorem for studying the order-theoretic stucture of Nash equilibria of supermodular games.

Recommendations

• General complementarities on complete partial orders
• The set of Nash equilibria of a supermodular game is a complete lattice
• A topological characterization of the Dedekind-MacNeille completion for Heyting algebras
• The theory of commuting subalgebras of complete Heyting algebras
• An equivalence relation characterization of distributive lattices

Cited in

(2)

• Abstracting Nash equilibria of supermodular games
• A complete Heyting algebra whose Scott space is non-sober

This page was built for publication: A new characterization of complete Heyting and co-Heyting algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5367064)