Real closed rings, I. Residue rings of rings of continuous functions Gregory Cherlin; Max Dickmann — 1986 Fundamenta Mathematicae