非标准模型

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

相关

  • X光X射线(英语:X-ray),又被称为爱克斯射线、艾克斯射线、伦琴射线或X光,是一种波长范围在0.01纳米到10纳米之间(对应频率范围30 PHz到30EHz)的电磁辐射形式。X射线最初用于医学成像诊
  • 自置居所房地产自有率(home-ownership rate),中国大陆称住房自有率。各地差异,由于世界各地的差异,每个地区对于房地产自有率都有不同的定义, 因素也不一样见。在美国,房地产自有率是美
  • 腹腔人的腹部(拉丁文:Abdomen)是骨盆和胸部之间的身体部分。在解剖学上,腹部从胸底的横隔膜直到骨盆的真假骨盆界限。真假骨盆界限从腰骶角(第5腰椎和第一骶椎之间的椎间盘)到耻骨联合
  • 5-羟色胺、去甲肾上腺素和多巴胺再摄取抑制剂5-羟色胺、去甲肾上腺素和多巴胺再摄取抑制剂(英语:serotonin–norepinephrine–dopamine reuptake inhibitor,SNDRI),也称作三重再摄取抑制剂(TRI),是多种单胺类神经递质的再摄取抑
  • 寒带季节寒带分为南寒带,北寒带。南寒带是南极圈(南纬66.5度)以内的区域,北寒带是北极圈(北纬66.5度)以内区域。在南寒带,南极洲大陆完全被冰覆盖,四周受到极地东风带的强劲吹拂。南寒带气候
  • 冬季冬季是部分地区一年四季中的第四季,由于天气转冷(赤道地区除外),在很多地区都意味着沉寂和冷清。生物在寒冷来袭的时候会减少生命活动,很多植物会落叶,动物会休眠,有的称作冬眠。候
  • 污染地下水污染是指在人类活动影响下,地下水水质朝着恶化方向发展的现象。地下水污染的就是有很多,这是国内主流的解释。
  • 自然分娩自然分娩是一种没有常规医疗介入(包括麻醉)的分娩方式。相对于一般工业化社会中配合医疗技术的分娩方式,自然分娩希望让医疗的介入降到最低,特别是像麻醉药、会阴切开术等医疗介
  • 多米尼克面积以下资讯是以2011年估计家用电源国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018
  • 贲门癌贲门癌在肿瘤学上指原发于贲门(食管与胃的接口)处的恶性肿瘤。1998年,国际胃癌协会和国际食管疾病协会将贲门癌定义为肿瘤中心位于食管与胃结合部,贲门近端/远端5厘米以内的腺癌