A new characterization of complete Heyting and co-Heyting algebras
Logic in Computer Science
2019-03-14 v4 Rings and Algebras
Abstract
We give a new order-theoretic characterization of a complete Heyting and co-Heyting algebra . 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 , which is crucially used in Topkis' theorem for studying the order-theoretic stucture of Nash equilibria of supermodular games.
Keywords
Cite
@article{arxiv.1504.03919,
title = {A new characterization of complete Heyting and co-Heyting algebras},
author = {Francesco Ranzato},
journal= {arXiv preprint arXiv:1504.03919},
year = {2019}
}
Comments
To appear in Logical Methods in Computer Science