Using his solution to the word problem of the free pseudosemilattice [see Semigroup Forum 68, No. 2, 246--267 (2004; Zbl 1052.08002)], the author constructs two concrete models of the free pseudosemilattice on a set \(X\). The first one is in terms of pairs \((A_0,A_1)\) where the \(A_i\) are certain finite subsets of \(X^+\), the second one is in terms of pairs \((A,x)\) where \(A\) is a finite subset of \(X^+\) and \(x\in X\). These models are then used to characterize the relations \({\leq}_r\), \({\leq}_l\), \(\leq\), \(\mathcal R\), \(\mathcal L\) on the free pseudosemilattice on \(X\). The ultimate motivation for this work comes from interesting and surprising results on the lattice of pseudovarieties of pseudosemilattices and on the finite basis problem for finite pseudosemilattices that were presented in the author's dissertation, obtained by use of the results of the paper under review. The mentioned results are announced to be the topic of forthcoming papers.
This page was built for publication: Models for free pseudosemilattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q997118)
