[[!redirects Archimedean ordered field]] < [[nlab:Archimedean field]] category: redirected to nlab