PreprintCC BY-NC-SA 4.0arXiv
Free Tn-Heyting algebras
Abstract
Tn-Heyting algebras form a subvariety of Heyting algebras and are characterized by the property that a chain of prime filters in such an algebra has at most n−1 elements. We study some basic properties of these algebras and determine the structure and number of elements of the free Tn-Heyting algebra with a finite number r of free generators, FTn(r).
Related
- Scott topologies on products of countable complete Heyting algebras
- Observations on the variety of equationally linear Heyting semilattices
- simple cartan-free modules of finite rank over the super-virasoro algebras
- Free groups amenably act on unital simple AF-algebras
- A Non-linearizable Action of S3 on Free Metabelian Lie and Associative Algebras
BibTeX
@misc{cornejo2026free,
title = {{Free $T_n$-Heyting algebras}},
author = {Juan Manuel Cornejo and Andrés Gallardo and Paula Helt and Luiz Monteiro and Ignacio Viglizzo},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.07915},
eprint = {2611.07915},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.07915},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - Free T_n-Heyting algebras
AU - Juan Manuel Cornejo
AU - Andrés Gallardo
AU - Paula Helt
AU - Luiz Monteiro
AU - Ignacio Viglizzo
PY - 2026
DA - 2026/11/05
PB - arXiv
DO - 10.48550/arxiv.2611.07915
UR - https://arxiv.org/abs/2611.07915
AB - T_n-Heyting algebras form a subvariety of Heyting algebras and are characterized by the property that a chain of prime filters in such an algebra has at most n−1 elements. We study some basic properties of these algebras and determine the structure and number of elements of the free T_n-Heyting algebra with a finite number r of free generators, FT_n(r).
ER -