Étale-finite Heyting algebras arise exactly as the subterminal lattices of finitely propositional elementary toposes, via categories of compact étale spaces constructed with Esakia duality.
Michael Dunn & Robert K
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Translations from relevant logics to normal modal logics are developed to explore their structural connections.
citing papers explorer
-
A topos for \'etale-finite Heyting algebras
Étale-finite Heyting algebras arise exactly as the subterminal lattices of finitely propositional elementary toposes, via categories of compact étale spaces constructed with Esakia duality.
-
Possibly Relevant Translations
Translations from relevant logics to normal modal logics are developed to explore their structural connections.