Geometrical methods in Wajsberg hoops (Q1858223): Difference between revisions

In the first part, the authors summarize all known results on hoops, Wajsberg hoops and Wajsberg algebras connected with MV-algebras. In particular, they describe congruences and filters of Wajsberg hoops and show that every Wajsberg hoop is in fact a reduct of a certain MV-algebra (the converse is clear). The description of all varieties of Wajsberg hoops is the aim of the second part. Using certain piecewise-linear functions from \([0,1]\) into itself (the so-called combs), they provide an explicit axiomatization of varieties of Wajsberg hoops and characterize all free algebras of these varieties.