请输入您要查询的字词:

 

单词 ElementaryEmbedding
释义

elementary embedding


Let τ be a signaturePlanetmathPlanetmathPlanetmath and 𝒜 and be two structuresMathworldPlanetmath for τ such that f:𝒜 is an embeddingPlanetmathPlanetmathPlanetmath. Then f is said to be elementary if for every first-order formulaMathworldPlanetmathPlanetmath ϕF(τ), we have

𝒜ϕiffϕ.

In the expression above, 𝒜ϕ means: if we write ϕ=ϕ(x1,,xn) where the free variablesMathworldPlanetmathPlanetmath of ϕ are all in {x1,,xn}, then ϕ(a1,,an) holds in 𝒜 for any ai𝒜 (the underlying universePlanetmathPlanetmath of 𝒜).

If 𝒜 is a substructure of such that the inclusion homomorphismPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath is an elementary embedding, then we say that 𝒜 is an elementary substructure of , or that is an elementary extension of 𝒜.

Remark. A chain 𝒜1𝒜2𝒜n of τ-structures is called an elementary chain if 𝒜i is an elementary substructure of 𝒜i+1 for each i=1,2,. It can be shown (Tarski and Vaught) that

i<ω𝒜i

is a τ-structure that is an elementary extension of 𝒜i for every i.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 23:49:40