初等嵌入

初等嵌入

初等嵌入是數學術語。

基本介紹

  • 中文名:初等嵌入
  • 外文名:elementary embedding
初等嵌入(elementary embedding)模型之間的一種映射.設秘,歷是語言丫的模型,如果存在一個映射h:A->B,對驢的任意公式抓xl,xz, "..x‑和對任意的n元組a,a2,二,a‑ E A有au 甲壓,az, w,a,,若且唯若. pha, , hat, ,hand,則稱映射h是從ou到驪的初等嵌人.並稱ou能初等嵌人男中.這也就是說,ou與W的一個初等子模型同構,即a三h(0l)<.

相關詞條

熱門詞條

聯絡我們