Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

Archimedean ordered field en · NOUN

Meanings

  1. An ordered field which satisfies the axiom of Archimedes.
    • 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. 2006, Richard W. Kaye, “Archimedean ordered fields”, in web.mat.bham.ac.uk, archived from the original on 16 Mar 2009:

Forms

SpellingFeaturesLabelsSource
Archimedean ordered fields Number=Plur lexicographic

Antonyms

non-Archimedean ordered field

Hypernyms

ordered field

Hyponyms

real number system

Translations (3)

fi Arkhimedeen kunta (an ordered field which satisfies the axiom of Archimedes) · pl ciało uporządkowane archimedesowskie (an ordered field which satisfies the axiom of Archimedes) · pt corpo ordenado arquimediano (an ordered field which satisfies the axiom of Archimedes)