非标准模型

✍ dations ◷ 2024-12-22 20:21:05 #非标准模型
在数理逻辑的模型论中,称某理论的模型为非标准模型,如果它与预期模型(或称标准模型)不同构。如果预期模型是无限的, 且使用的语言是一阶的,则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。非标准模型在集论、非标准分析,以及非标准算术模型中有所研究。

相关

  • 抗原抗原(antigen,缩写Ag)为任何可诱发免疫反应的物质,不只是从病原体那里取得,一般来说体内发现分子够大的有机物就有可能作为一个适合的抗原,这样也就会导致例如过敏等问题。外来分
  • 蛋白质合成蛋白质生物合成是指在生物细胞内制造新的蛋白质,它是通过蛋白酶解或蛋白质导向(英语:Protein targeting)细胞蛋白的损耗被平衡。蛋白质的生物合成也称为翻译,它是基因表达的最后
  • 肺是很多进行空气呼吸的动物的呼吸系统中重要的一个器官,大部分四足类动物、一些鱼类和蜗牛都有肺。哺乳动物和其他身体结构较为复杂的动物则拥有两个肺,其位于胸腔中靠近脊柱
  • 分子系统发生学分子系统发生学(Molecular phylogenetics)是分析遗传分子差异(主要是DNA序列)的系统发生学的一个分支,以获得有机体进化关系的信息。分子系统发生学分析的结果在系统发生树(phylo
  • 美洲印第安人美洲原住民,是对美洲所有原住民的总称。美洲原住民中的绝大多数为印第安人,剩下的则是主要位于北美洲北部的因纽特人。美洲原住民属于东亚人种美洲支系,与现代东亚人有共同的祖
  • 联合国人口基金会联合国人口基金(英语:United Nations Population Fund,简称UNFPA)是联合国一个专门机构,其使命是促进所有人健康生活和平等机会的权利。作为一个志愿性的基金机构,联合国人口基金
  • 电极在电池中,电极一般指与电解质溶液发生氧化还原反应的位置。电极有正负之分,正极指电位(电势)较高的一端,负极指电位较低的一端。一般正极为阴极,获得电子,发生还原反应,负极则为阳极
  • Jori, Alberto阿尔贝托·约里(意大利语:Alberto Jori,1965年7月2日-),意大利历史学家、哲学家,目前是德国杜宾根大学哲学系的教授。他同时也是亚里斯多德哲学的专家,在2003年,他借由关于亚里斯多德
  • Netscape ISP网景通信(英语:Netscape Communications ),以前称为网景通信公司(Netscape Communications Corporation),大部分通常被简称为网景(Netscape)。网景曾经是一家美国的电脑服务公司,以其
  • 布鲁氏杆菌病布鲁氏杆菌病,又名地中海弛张热、马耳他热、波浪热(undulant fever)、波状热,是一种人畜共通传染病,由布鲁氏杆菌属(英语:Brucella)引致。这种细菌可寄宿绵羊、山羊、猪和牛等动物