非标准模型

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

相关

  • 住院患者,又称病人、病者和病患,是指医疗服务的接受者,大多用来指罹患疾病、或身体受到创伤,而需要医生和护理人员进行治疗的人;动物如遇到相同状况,也可以患者称之。但是对于不用接受
  • 冷休克冷休克反应是生物突然遇冷的生理反应,特别是冷水。对于人类冷休克反应可能是浸入非常冷的水中 例如掉到薄冰下的水里。 寒冷的直接冲击造成非自主性吸入,如果在水中就会导致溺
  • 西非西非通常是指非洲大陆南北分界线和向西凸起部分的大片地区,为地理、人种和文化过渡地带。非洲大陆南大西洋海岸线在这一地区呈东西走向的部分曾以象牙海岸、黄金海岸而闻名。
  • 生命生命泛指一类具有稳定的物质和能量代谢现象并且能回应刺激、能进行自我复制(繁殖)的半开放物质系统。简单来说,也就是具有生命机制的物体。生命个体一定会经历出生、成长、衰老
  • 乏核燃料乏核燃料是经受过辐射照射、使用过的核燃料,通常是由核电站的核反应堆产生。这种燃料无法继续维持核反应。乏核燃料中仍然包含有大量的放射性元素,因此具有放射性,如果不加以妥
  • 多巴胺转运体n/an/an/an/an/an/an/an/an/an/a多巴胺转运体(英语:Dopamine transporter,DAT;溶质载体家族6成员3(英语:solute carrier family 6 member 3,SLC6A3))是负责将神经递质从突触运输回细
  • 属地属地(英语:Dependent Territory或Dependent Area或Dependency)是附属于主权国家之下,但拥有部分独立管治权力的地区。虽然没有完整主权,但是其政治地位异于管治国主体的其他领土,
  • 晒伤晒伤是一种由于过度暴露于紫外线(通常为日光)下导致的射线烧伤。它促进细胞凋亡,引起的症状为皮肤发红、发痛,在少数极端案例中会导致生命危险,而轻度暴露于紫外线下则只会导致晒
  • A07EAA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码A07(止泻药,肠道抗炎/抗感染药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The
  • 婴儿按摩婴儿按摩(英语:Infant massage),是一种对婴儿进行按摩治疗(英语:massage therapy)的替代疗法。这种疗法已经在全球范围内实施,并且在西方国家越来越多地用于婴儿,支持其使用的科学证