Talk:Archimedean field

Merge with Archimedean property?
The Archimedean property article indicates this article as the main one, yet is much more detailed and entirely subsumes this "main" article. Is there any reason to retain this stub, as opposed to simply making it a redirect to Archimedean property? --Vaughan Pratt (talk) 03:22, 30 January 2009 (UTC)