Kites and representations of pseudo MV-algebras
Logic
2025-09-16 v1
Abstract
We investigate the structure of perfect residuated lattices, focussing especially on perfect pseudo MV-algebras. We show that perfect pseudo MV-algebras can be represented as a generalised version of kites of Dvure\v{c}enskij and Kowalski, and that they are categorically equivalent to -groups with a distinguished automorphism. We then characterise varieties generated by kites and describe the lattice of these varieties as a complete sublattice of the lattice of perfectly generated varieties of perfect pseudo MV-algebras.
Keywords
Cite
@article{arxiv.2509.11603,
title = {Kites and representations of pseudo MV-algebras},
author = {Michal Botur and Tomasz Kowalski},
journal= {arXiv preprint arXiv:2509.11603},
year = {2025}
}