nLab
archimedean field

Contents

Contents

Idea

An archimedean field is an ordered field that satisfies the archimedean property.

Properties

Every archimedean field is a dense linear order. This means that the Dedekind completion of every archimedean field is the field of real numbers.

Examples

Archimedean fields include

Non-archimedean fields include

Last revised on May 28, 2021 at 10:51:31. See the history of this page for a list of all contributions to it.