Bouligand-Severi $k$-tangents and strongly semisimple MV-algebras

Abstract

An algebra $A$ is said to be strongly semisimple if every principal congruence of $A$ is an intersection of maximal congruences. We give a geometrical characterisation of strongly semisimple MV-algebras in terms of Bouligand-Severi $k$-tangents. The latter are a $k$-dimensional generalisation of the classical Bouligand-Severi tangents.