Bounded depth in Hilbert algebras
Logic
2026-05-11 v1
Abstract
Hilbert algebras are the implicative subreducts of Heyting algebras. It is shown that having depth at most n is an equational condition in Hilbert algebras. This generalizes an analogous well-known result in the setting of Heyting algebras.
Cite
@article{arxiv.2605.07438,
title = {Bounded depth in Hilbert algebras},
author = {Luca Carai and Miriam Kurtzhals and Tommaso Moraschini},
journal= {arXiv preprint arXiv:2605.07438},
year = {2026}
}