On proving the existence of complete ordered fields

被引：1

作者：

Banaschewski, B ^{[1
]}

机构：

[1] McMaster Univ, Dept Math & Stat, Hamilton, ON L8S 4K1, Canada

来源：

AMERICAN MATHEMATICAL MONTHLY | 1998年 / 105卷 / 06期

关键词：

D O I：

10.2307/2589406

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：548 / 551

页数：4

共 50 条

[41] PARTIALLY ORDERED FIELDS
DEMARR, R
AMERICAN MATHEMATICAL MONTHLY, 1967, 74 (04): : 418 - &
[42] Ordered differential fields
Kul'chinovskii, VB
SIBERIAN MATHEMATICAL JOURNAL, 1999, 40 (02) : 326 - 340
[43] NONISOMORPHIC ORDERED FIELDS
HEUER, GA
AMERICAN MATHEMATICAL MONTHLY, 1967, 74 (06): : 734 - &
[44] Ordered transexponential fields
Krapp, Lothar Sebastian
Kuhlmann, Salma
ANNALS OF PURE AND APPLIED LOGIC, 2025, 176 (04)
[45] ON ORDERED SKEW FIELDS
SZELE, T
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1952, 3 (03) : 410 - 413
[46] THE COMPLETION OF ORDERED FIELDS
COHEN, LW
GOFFMAN, C
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1949, 55 (01) : 56 - 56
[47] Proving Consistency of Pure Methods and Model Fields
Leino, K. Rustan M.
Middelkoop, Ronald
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5503 : 231 - +
[48] ON THE COMPUTABILITY OF ORDERED FIELDS
Korovina, M., V
Kudinov, O., V
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2023, 20 (02): : 1341 - 1360
[49] A NULLSTELLENSATZ FOR ORDERED FIELDS
DUBOIS, DW
ARKIV FOR MATEMATIK, 1970, 8 (02): : 111 - &
[50] General existence and determination of conjugate fields in dynamically ordered magnetic systems (vol 104, 044125, 2021)
Quintana, M.
Berger, A.
PHYSICAL REVIEW E, 2024, 110 (03)