Expansions of real closed fields with the Banach fixed point property
scientific article; zbMATH DE number 7898320
scientific article