非标准模型

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

相关

  • 胸部创伤胸部创伤,是指对胸部的任何形式的物理伤害,对象包括但不限于肋骨、心脏和肺部。胸部创伤占所有创伤性死亡人数的25%。大多数钝器造成的损伤可通过相对简单的措施进行处理,如气管
  • mRNA信使核糖核酸(英语:messenger RNA,缩写:mRNA),是由DNA经由转录而来,带着相应的遗传讯息,为下一步翻译成蛋白质提供所需的讯息。在细胞中,mRNA从合成到被降解,经过了数个步骤。在转录的
  • 小DNA病毒细小病毒科(英语:Parvoviridae),又称“小DNA病毒科”,是最小且最简单的DNA病毒,少部分此科的病毒有环境耐受性。在1960年代被发现会感染哺乳动物,可分成两类,一类可自己进行复制,另一
  • HDS《瑞士历史辞典》(德语:Historische Lexikon der Schweiz;法语:Dictionnaire Historique de la Suisse;意大利语:Dizionario Storico della Svizzera;罗曼什语: Lexicon Istoric Re
  • 强电解质电解质(英语:electrolyte)是指在水溶液或熔融状态可以产生自由离子而导电的化合物。通常指在溶液中导电的物质,而固态可导电的物质不算电解质。这包括大多数可溶性盐、酸和碱。
  • 七宗罪七宗罪(拉丁语:septem peccata mortalia;英语:seven deadly sins),天主教称七罪宗,或称七大罪或七原罪,属于天主教教义中对人类恶行的分类。归入这一类别的,能够直接形成其他不道德的
  • 牙齿牙齿存在于很多脊椎动物(鸟类除外)的头部(或口部)内、功能用于咀嚼食物的钙化组织。肉食性动物尤其倚赖牙齿进行猎食或搏斗、御敌。牙齿的构成成分不是骨骼,而是由动物体内不同
  • 毕达哥拉斯毕达哥拉斯(希腊语:Πυθαγόρας,前570年-前495年)是一名古希腊哲学家、数学家和音乐理论家,毕达哥拉斯主义的创立者。他认为数学可以解释世界上的一切事物,对数字痴迷到几近
  • 二元论二元论(dualism)是一个多义词。本体论上的二元论,与一元论对应,二元论认为世界由两种不可缺少且相互独立的元素组成,而一元论认为世界的本原是唯一的。本体论的一元论者认为无论
  • 失业救助失业救助是由政府主持的保险或福利制度。对于非自愿失业者,提供短期的金钱救助,使其不会因失业收入中断,而陷入生活困境。失业类社会保障金,在不同国家,有不同的项目分类与内容集