Francesco Ranzato - A new characterization of complete Heyting and co-Heyting algebras

lmcs:3931 - Logical Methods in Computer Science, September 14, 2017, Volume 13, Issue 3 - https://doi.org/10.23638/LMCS-13(3:25)2017
A new characterization of complete Heyting and co-Heyting algebrasArticle

Authors: Francesco Ranzato

    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.

    https://doi.org/10.23638/LMCS-13(3:25)2017
    Source: arXiv.org:1504.03919
    Volume: Volume 13, Issue 3
    Published on: September 14, 2017
    Accepted on: September 14, 2017
    Submitted on: September 14, 2017
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Rings and Algebras,F.3.0
    Licence: arXiv.org - Non-exclusive license to distribute

    Classifications

    Mathematics Subject Classification 20201
    Sources:
    • [1] zbMATH Open.

    Share and export

    Consultation statistics

    This page has been seen 1624 times.
    This article's PDF has been downloaded 777 times.