Expansions of dense linear orders with the intermediate value property
scientific article; zbMATH DE number 1735293