Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Carai, Luca, Moraschini, Tommaso
Format: Preprint
Veröffentlicht: 2024
Schlagworte:
Online-Zugang:https://arxiv.org/abs/2409.03640
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Inhaltsangabe:
  • 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.