非标准模型

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

相关

  • 急性支气管炎支气管炎又分作急性支气管炎与慢性支气管炎,是肺部中型支气管的炎症。急性支气管炎通常是由病毒或细菌感染引起。可以持续数天或数周。急性支气管炎是肺部支气管(中至大的大小
  • α-变形菌门α-变形菌(Alphaproteobacteria)是变形菌门(Proteobacteria)下的一个纲。此纲的成员变异性极大,且共通点极少,但他们确实系出同源。α-变形菌大多都是革兰氏阴性菌,而有些包内寄生
  • 早年衰老症候群早年衰老症候群(Hutchinson-Gilford Progeria syndrome),简称早衰症。早衰症是一种极端罕见的先天遗传性疾病,其患者身体的老化过程十分快速。而罹患此病孩童的年龄很少超过13岁
  • 度洛西汀度洛西汀(英语:Duloxetine),商品名为欣百达、奥思平,是一种5-羟色胺和去甲肾上腺素再摄取抑制剂(SNRI),由礼来研发。度洛西汀常用来治疗重性抑郁障碍、广泛性焦虑症、纤维肌痛、各种
  • 中世中世纪(公元5世纪-公元15世纪)是欧洲历史三大传统划分(“古典时代”、“中世纪”和“近现代”)的一个中间时期,始于西罗马帝国(公元476年)的灭亡,终于东罗马帝国(公元1453年)的灭亡,最
  • 尤西弗罗困境游叙弗伦困境(Euthyphro Dilemma)源自柏拉图的《游叙弗伦篇》。中苏格拉底与尤西弗罗的对话,可简述如下:上述两个说法只能取其一。如果取1,那么好的事物也可以是坏的,只要上帝如此
  • 河盲症蟠尾丝虫症或蟠尾丝虫病(拉丁语:Onchocerciasis),又名河川盲、河盲症(river blindness),是一种因感染蟠尾丝虫引起的疾病。病状包括严重搔痒、皮下肿块,以及失明。是全球仅次于沙眼
  • 固态瘤新生物、息肉、瘜肉或赘生物(英语:neoplasm),是指身体细胞组织不正常的增生,当生长的数量庞大,便会成为肿瘤(英语:tumor)。而肿瘤亦可以是良性或恶性的。肿瘤(英语:tumor)在医学上是指细
  • 认知再建构异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学(英语:Differential psychology) 发展心理学 演化心理学 实验心理学
  • 真空集便器真空厕所是厕所的一种,透过冲厕系统产生的气压差,以气吸形式把便器内的污物吸走,以达至减少使用冲厕水的目的。真空厕所多见于缺少冲厕水的环境,如民航客机、邮轮、旅客列车等。