archimedean ordered field - German English Dictionary