(Translated by https://www.hiragana.jp/)
初等等价 - 维基百科,自由的百科全书 とべ转到内容ないよう

初等しょとうとう

维基百科ひゃっか自由じゆうてき百科ひゃっかぜん

ざい数学すうがくなかとく别是模型もけいなか,给定语言てき两个结构しょう初等しょとうとうてき,如果它们てきあいどう,就是说任なん一个模型满足的也被另一个模がた满足。

れい[编辑]

こう虑带ゆうげん关系符号ふごう '<' てき语言。实数模型もけい R 有理数ゆうりすう模型もけい Q 初等しょとうとう价的,いん为它们都转换 '<' 为无かい稠密ちゅうみつ线性次序じじょ

存在そんざいかずてき标准模型もけい,它包含ほうがんただすう 0, 1, 2, てき其他对象。ただし这个语言どう于标じゅんすう论,いん为这些额外的がいてき对象不能ふのうひさげ及。所以ゆえんすう论的标准模型もけい标准模型もけい初等しょとうとう价的。