萬有模型

來自 搜狐網 的圖片

萬有模型是中國科技名詞。

世界上最古老的四大文字系統，一是5500年前兩河流域蘇米爾人創造的楔形文字，二是5000多年前尼羅河流域古埃及人創造的聖書字，三是3300年前中國殷商時期的甲骨文，四是1500年前起源於中美洲的瑪雅文字。其它文字都早已消亡，只有中國文字的發展未曾斷裂，從商代一直傳承至今，漢字是世界上現存最古老的文字，這是我們中華民族寶貴的文化遺產。

目錄

名詞解釋

假設𝒌為一無窮基數。稱理論T的模型ℳ是𝒌萬有的，假如對於一切滿足|𝓝|<𝒌的模型𝓝，都存在一個從𝓝到ℳ的基本（初等）嵌入。稱一個結構ℳ是萬有的，假如它是|ℳ|+萬有的。

相關概念

飽和模型

[saturated model]

假設𝒌為一無窮基數。稱理論T的模型ℳ是𝒌飽和的，如果對一切A⊂M，|A|<𝒌，任意A上的n型p均可在ℳ中實現(滿足)。如果基數為𝒌的模型ℳ是𝒌飽和的，則稱ℳ是飽和模型。

齊次模型

[homogeneous mode]

假設𝒌為一無窮基數。稱理論T的模型ℳ是T的𝒌齊次模型，如果對於一切A⊂M，|A|<𝒌任意部分基本（初等）嵌入f:A→M，a∈M\A，都存在f*⊃f使得f*:A∪{a}→M也是部分基本（初等）嵌入。有時直接稱ℳ是齊次模型如果ℳ是|M| 齊次模型。（ℳ是理論T的𝒌飽和模型當且僅當它是理論T的k⁺萬有模型k和齊次模型。）

科技名詞

科技名詞，是指全國科學技術名詞審定委員會審定、公布的科技類名詞、術語，屬於科技術語。是科學技術形成、記錄、積累、交流、傳播的前提和基礎，是科學思維的基礎和工具。

統一、規範科技名詞是國家科技基礎條件的重要內容，是推動科技創新和構建新時代中國科技話語體系的基礎性工作，也是中國融入全球科技創新體系、建設世界科技強國的戰略性舉措，意義重大而深遠。

1990年6月23日，國家科委、中國科學院、國家教委、新聞出版署發出《關於使用全國自然科學名詞審定委員會公布的科技名詞的通知》。

2020年6月2日，教育部、國家語委在京發布2019年中國語言文字事業和語言生活狀況，全國科學技術名詞審定委員會公布近6萬條科技名詞。