Compatible relations on Heyting chains
We give a sufficient condition for a finite algebra to admit only finitely many compatible relations (modulo a natural equivalence) and show that every finite Heyting chain satisfies this condition, thereby confirming a conjecture of Davey and Pitkethly.
Gespeichert in:
Veröffentlicht in: | Algebra universalis 2012-02, Vol.67 (1), p.63-80 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | We give a sufficient condition for a finite algebra to admit only finitely many compatible relations (modulo a natural equivalence) and show that every finite Heyting chain satisfies this condition, thereby confirming a conjecture of Davey and Pitkethly. |
---|---|
ISSN: | 0002-5240 1420-8911 |
DOI: | 10.1007/s00012-012-0170-7 |