A constructive proof that every 3-generated l-group is ultrasimplicial
Daniele Mundici, Giovanni Panti · Banach Center Publications · 1999
We discuss the ultrasimplicial property of lattice-ordered abelian groups and their associated MV-algebras. We give a constructive proof of the fact that every lattice-ordered abelian group generated by three elements is ultrasimplicial.