Loading paper
Uniqueness of real closure * of Baer regular rings | Tomesphere