collaborators

1 paper

math.LO2026

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras

David Quinn Alvarez

We establish an Esakia duality for the categories of temporal Heyting algebras and temporal Esakia spaces. This includes a proof of contravariant equivalence and a congruence/filte…