万有模型查看源代码讨论查看历史

来自 搜狐网 的图片

万有模型是中国科技名词。

世界上最古老的四大文字系统，一是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万条科技名词。