首页 >
非标准模型
✍ dations ◷ 2025-12-08 22:30:57 #非标准模型
在数理逻辑的模型论中,称某理论的模型为非标准模型,如果它与预期模型(或称标准模型)不同构。如果预期模型是无限的, 且使用的语言是一阶的,则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。非标准模型在集论、非标准分析,以及非标准算术模型中有所研究。
相关
- 毒物毒物是对生物造成不适反应的物质的总称。毒物对生物体造成的影响因种类不同各异,不适反应的类型以及程度也各不相同。另外对于有的生物来说具有毒性而对于别的生物来说无毒的
- 情绪障碍情感障碍,亦称情绪障碍、心境障碍、情感性疾患,是精神疾病诊断与统计手册(DSM IV TR) 中,对于诊断患疾的归类。此类患疾的特点在于人心情上的混乱不安。在国际疾病与相关健康问题
- 弓形虫病弓虫症是一种由弓形虫造成的寄生虫病,成年感染一般无症状。弓虫症常会伴随持续几周或几月之久的类似于流感的症状(英语:flu-like illness),例如肌肉疼痛、淋巴结触痛。一小部分人
- 帕金森病帕金森病(Parkinson's disease,简称PD)是一种影响中枢神经系统的慢性神经退化疾病,主要影响运动神经系统。它的症状通常随时间缓慢出现,早期最明显的症状为颤抖、肢体僵硬、运动
- 阿扎尔自治共和国阿扎尔自治共和国(格鲁吉亚语:აჭარის ავტონომიური რესპუბლიკა საქართველო,拉丁字母转译为:Atscharis Awtonomiuri Respublika Sakartwelo
- 角弓反张角弓反张是指项背强直,身体向后反折如弓状的临床表现。急性症状可由番木鳖碱毒素、破伤风、啡噻肼中毒等引起。 慢性或复发性发作可因癫痫、僵硬人症候群、歇斯底里等引起。
- 鸡雁小纲鸡雁小纲(学名:Galloanserae)是指雁形目及鸡形目两目的鸟类。它们在解剖及分子、形态及DNA序列、与及反转录转座子标记上的相似,显示它们是演化上的近亲。虽然鸡雁小纲的成员在
- 生物安全防护水平生物安全水平(biosafety level (BSL))是指在封闭的实验室环境中隔离危险的病原体所需的一套生物安全防护措施。一般学校里都会有生物实验室,医院的验血实验室也是生物安全实验
- 静态动词静态动词(也称状态动词)与动态动词的区别在于前者用来描述一种持续的状态,而后者描述一个变化的过程。很多语言在语法上都对他们的使用方式进行了区分。同一个动词既可以是静态
- 外延性在数学中,外延性通常指称某种形式的。可追溯到莱布尼兹的原理,两个数学对象是相等的,如果没有区分它们的检验。例如,给出两个数学函数 f 和 g,我们可以说它们是相等的,如果对于在
