{"id":"arxiv/2605.07438","url":"https://arxiv.org/abs/2605.07438","tags":["math.LO"],"score":0,"title":"Bounded depth in Hilbert algebras","domain":"math.LO","source":"arxiv","authors":["Luca Carai","Miriam Kurtzhals","Tommaso Moraschini"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-08","reactions":{}}