非アルキメデス順序体
超実体—実数体を部分体として含む非アルキメデス順序体—は超準解析の数学的基礎付けを提供するものとして利用できる。
マックス・デーンは非アルキメデス順序体の例であるデーン体を用いて、平行線公準が成り立たないがそれにもかかわらず三角形の内角の和が π に等しい非ユークリッド幾何の構成を行った
実数体 R 上の有理函数体 R(x) は R でない(コーシー列が収束するという意味で)完備な順序体の構成に利用できる。R(x) の完備化は R 上の形式ローラン級数体 R((x)) として記述できる。しばしば、上限性質(英語版)を満足するという意味で「完備(英語版)」ということもあるが、その意味で完備な非アルキメデス順序体は存在しない。完備という語のこの二つの意味の間にある微妙な違いは時折誤解のもととなるので注意が必要である。