非标准模型

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

相关

  • 血氧饱和度血氧饱和度是指血中氧饱和血红蛋白相对于总血红蛋白(不饱和+饱和)的b比例。 人体需要并调节血液中氧气的非常精确和特定的平衡。 人体的正常动脉血氧饱和度为95-100%。 如果该
  • 健康信息学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学医学信息学,或称卫生信息学或医学资讯
  • 自然杀伤细胞自然杀伤细胞(英语:natural killer cell)是一种细胞质中具有大颗粒的细胞,简称NK细胞(NK cell),也称作大颗粒淋巴细胞(LGL, Large Granular Lymphocytes)。由骨髓淋巴样干细胞发育而
  • 人口统计学人口统计学用统计学方法,分析人口及其他社会问题,用以解决诸如预期寿命、出生率、死亡率、人口结构(例如年龄、姓别、婚姻状况...)等资料,以推估未来人口移动以及变化等问题 。
  • V01-Y98ICD-10 第二十章:疾病和死亡的外因,即国际疾病与相关健康问题统计分类第十版的第二十个编码分系统(从V01-Y99),其中包括了各种关于疾病及死亡的外在原因,及其分类详情。
  • 计算机图形学计算机图形学(英语:computer graphics,缩写为CG)是研究计算机在硬件和软件的帮助下创建计算机图形的科学学科,是计算机科学的一个分支领域,主要关注数字合成与操作视觉的图形内容
  • 磺胺二甲异嘧啶磺胺二甲异嘧啶是一种磺胺类药物,其INN名称是“Sulfisomidine”。该药物可用于治疗由细菌感染引起的疾病等病症。该药物在血液中的半衰期尚不明确。20世纪50年代,曾对该药物治
  • 割礼割礼(又名包皮切割),天主教名割损,是一种宗教仪式,通常是指对男孩施行的割礼,方法是把阴茎上的包皮割去。早期的山洞壁画和古埃及坟穴已有关于割礼的描述,中东的不少宗教也有施行割
  • 系统发育树系统发生树(英语:phylogenetic tree)又称演化树或进化树(evolutionary tree),是表明被认为具有共同祖先的各物种间演化关系的树状图。是一种亲缘分支分类方法(cladogram)。在图中,每
  • 语言学家列表语言学家是指研究语言学并有一定造诣的学者。下列是语言学家的列表(List of linguists),可以参考结构主义的当代语言学家。