[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Time to define what a Cauchy filter is, and what a Cauchy complete Archimedean ordered field actually means. (hint, it uses Cauchy filters). category: redirected to nlab