Back to Search Start Over

On locally finite varieties of Heyting algebras

Authors :
Martins, M.
Moraschini, T.
Publication Year :
2023

Abstract

For every $n \in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.

Subjects

Subjects :
Mathematics - Logic

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.2306.15997
Document Type :
Working Paper

Tools

Authors Abstract Subjects Details