arXiv Open Access 2023

On locally finite varieties of Heyting algebras

M. Martins T. Moraschini

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO

Penulis (2)

M. Martins

T. Moraschini

Format Sitasi

APA MLA BibTeX

Martins, M., Moraschini, T. (2023). On locally finite varieties of Heyting algebras. https://arxiv.org/abs/2306.15997

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓