On Proving the Existence of Complete Ordered Fields

From MaRDI portal
Publication:4222442