A characterization of nonstandard real fields

From MaRDI portal
Publication:4056114