{"id":"arxiv/2601.11208","url":"https://arxiv.org/abs/2601.11208","tags":["math.LO"],"score":0,"title":"Uniform Local Tabularity in Intuitionistic Logic","domain":"math.LO","source":"arxiv","authors":["Rodrigo Nicolau Almeida"],"reviews":0,"subject":"math.LO","summary":"By contrast with S4, the analysis of local tabularity above IPC has provided a difficult challenge. This paper studies a strengthening of local tabularity - uniform local tabularity - where one demands that all formulas be equivalent to formulas of a given implication depth. Algebraically, this amounts to considering Heyting algebras generated by finitely many iterations of the implication operation. It is shown that in contrast with locally finite Heyting algebras, n-uniformly locally finite Heyting algebras always form a variety, and an explicit axiomatization of the variety of n-uniform…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-16","reactions":{}}