\(\hat{R^+}\) is surprisingly an integral domain
scientific article; zbMATH DE number 7389905
scientific article