摘要
模型论在抽象代数,数论等很多经典数学中有着广泛的应用.本文给出了任意实闭有序域H的一个性质,并给予了证明.
Model theory in Abstract algebra number theory and many other classical mathematics has a wide range of applications. This paper gave and proved any real closed ordered domain H of a property.
出处
《佳木斯大学学报(自然科学版)》
CAS
2013年第1期152-153,共2页
Journal of Jiamusi University:Natural Science Edition
关键词
实闭有序域
佐恩引理
模型完全性
real closed ordered field
zorn' s 1emma
complete model