The ring of Fermat reals
scientific article; zbMATH DE number 5796756
scientific article