The continuum as a formal space. - Sara Negri; Daniele Soravia (Arch. Math. Log., 1999)