Enregistré dans:
Détails bibliographiques
Auteurs principaux: Carai, Luca, Moraschini, Tommaso
Format: Preprint
Publié: 2024
Sujets:
Accès en ligne:https://arxiv.org/abs/2409.03640
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Table des matières:
  • It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free algebras which is known to be undecidable. As a by-product, a description of the finitely generated pseudocomplemented distributive lattices that can be embedded into the free algebra is also obtained.