En memoria del cantero la zona se llamó "Territorio de San Marino", luego "Comunidad de San Marino", hasta que se le dio el nombre oficial: "República de San Marino".