Formal squares over the unit square separate FS-domains from RB-domains

Marco Abbadini

Every RB-domain is an FS-domain. Whether the converse holds was a long-standing open problem. We prove that the domain of closed axis-parallel squares in the plane whose centres li…