Archimedean ordered field
Definition from Wiktionary, the free dictionary
- (mathematics) An ordered field which satisfies the axiom of Archimedes.
2006, Richard W. Kaye, “Archimedean ordered fields”, in web.mat.bham.ac.uk, retrieved 2012-11-13:
- The next axiom concerns [ x ], the integer part function. We have seen that this function plays a useful role in our theory, but it turns out that not all ordered fields have it defined. A field for which integer part is defined is called an Archimedean Ordered Field.
an ordered field which satisfies the axiom of Archimedes