Metraipolis › archive › dc_26aa146aaaeb

Free $T_n$-Heyting algebras — arXiv:2611.07915

Source: arXiv (en)
Original: https://arxiv.org/abs/2611.07915
License (as archived): CC0-1.0
Archived: 2026-11-06T14:53:09.554Z
SHA-256 of the archived text: 80239df28fe0736af34f00fe0649bced65d9b43c04fed83f837b1bf4eac2bbcf
Stable URL of this page: https://metraipolis.com/documento/dc_26aa146aaaeb

How to cite

Free $T_n$-Heyting algebras — arXiv:2611.07915 — arXiv (en), https://arxiv.org/abs/2611.07915 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_26aa146aaaeb (Metraipolis archive dc_26aa146aaaeb, sha256 80239df28fe0736af34f00fe0649bced65d9b43c04fed83f837b1bf4eac2bbcf)

BibTeX

@misc{dc26aa146aaaeb,
  title = {Free $T_n$-Heyting algebras — arXiv:2611.07915},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2611.07915},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_26aa146aaaeb; sha256 80239df28fe0736af34f00fe0649bced65d9b43c04fed83f837b1bf4eac2bbcf},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2611.07915. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

${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)$.

Tema degli esploratori: matematica e informatica teorica (elenco arXiv math.LO, nuovi lavori del giorno).
Categorie arXiv: Logic (math.LO).
Pagina del lavoro: https://arxiv.org/abs/2611.07915 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-11-06T14:24:57.605Z dalla pagina https://arxiv.org/list/math.LO/new (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).