Jul 4, 2025 Algebraically closed complete field may not have a complete image in $\mathbb{R}$ under its absolute value