A new characterization of complete Heyting and co-Heyting algebras
classification
💻 cs.LO
math.RA
keywords
characterizationco-heytingcompleteequilibriaheytingnashorder-theoreticalgebra
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.