非标准模型

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

相关

  • 宫颈炎宫颈炎(英语:Cervicitis),是一种女性子宫颈的炎症。它多因性传播疾病感染造成,常见病原体为淋病奈瑟双球菌、沙眼衣原体。也可因宫颈手术操作后造成的宫颈损伤,使病原体得以进入损
  • 关节积血关节积血(英语:Hemarthrosis)是指关节内出血。这是血友病的常见症状。通常在损害受伤后发生,但主要在有出血倾向的患者,例如,使用华法林(warfarin,或其他抗凝剂)的患者和血友病患者。
  • 子实层子实层(hymenium),是子囊菌门与担子菌门真菌子实层体上的构造。子实体中,最内侧的组织为菌髓,其外为子实下层(subhymenium),最外侧即为子实层。子实层的部分细胞可发育成担子(英语:bas
  • 性交疼痛性交疼痛(英语:Dyspareunia),是指经常或反复于性交时出现的外阴、阴道或下腹部疼痛为主要症状的疾病,也称性生活不适,是女性性功能障碍中最常见的一种。它包括性交痛以及由此而导
  • 四病毒科四病毒科(Tetraviridae)代表种:代表种:
  • 罗格列酮罗格列酮(Rosiglitazone)是一种用于控制糖尿病的药物,商品名称有:安糖健、文迪雅、梵帝雅(Avandia)等。由葛兰素史克(GSK)开发制造。制剂为药片,每片含2mg、4mg或8mg马来酸罗格列酮(Ro
  • 磺胺二甲异嘧啶磺胺二甲异嘧啶是一种磺胺类药物,其INN名称是“Sulfisomidine”。该药物可用于治疗由细菌感染引起的疾病等病症。该药物在血液中的半衰期尚不明确。20世纪50年代,曾对该药物治
  • 新型冠状病毒肺炎 (COVID-19)疫情重定向至:
  • 瓦登伯革氏症候群瓦登伯革氏症候群(英语:Waardenburg syndrome)是一种罕见的遗传性疾病,首次发现于1951年。常见病征为不同程度的耳聋、两眼眼距较宽、鼻根宽阔、头发中杂有一撮白发,以及出现虹膜
  • 亨廷顿病亨廷顿舞蹈症(Huntington's Disease, HD)是一种遗传性疾病,会导致脑细胞死亡。早期症状往往是情绪或智力方面的轻微问题,接着是不协调和不稳定的步伐(英语:Gait)。随着疾病的进展,身