A new characterization of complete Heyting and co-Heyting algebras
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2015
- DOI:
- 10.48550/arXiv.1504.03919
- arXiv:
- arXiv:1504.03919
- Bibcode:
- 2015arXiv150403919R
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Rings and Algebras;
- F.3.0
- E-Print:
- To appear in Logical Methods in Computer Science