首页 >
非标准模型
✍ dations ◷ 2025-01-22 23:40:38 #非标准模型
在数理逻辑的模型论中,称某理论的模型为非标准模型,如果它与预期模型(或称标准模型)不同构。如果预期模型是无限的, 且使用的语言是一阶的,则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。非标准模型在集论、非标准分析,以及非标准算术模型中有所研究。
相关
- 10国际疾病伤害及死因分类标准第十版(英语:The International Statistical Classification of Diseases and Related Health Problems 10th Revision,ICD-10)是世界卫生组织依据疾
- 头孢洛扎头孢洛扎(Ceftolozane) ,是第五代头孢类抗生素,用来治疗对常规抗生素耐药的革兰氏阴性菌。 实验证明其对尿路感染、腹腔内感染、呼吸机相关性细菌性肺炎有效。头孢洛扎常与他唑
- 去氧核糖核酸病毒脱氧核糖核酸病毒(英语:DNA virus),又称DNA病毒,其遗传物质为DNA。一般为正链DNA病毒。医学导航: 病毒病病毒(蛋白质)/分类cutn/syst (hppv/艾滋病, 流感/疱疹/人畜共患)/人名体
- 中大西洋地区中大西洋州份(英语:Mid-Atlantic), 通常是指美国境内的在新英格兰和美国南大西洋地区之间的地区。根据不同来源,有不同的定义,它一般包括纽约州、新泽西州、宾夕法尼亚州、特拉华
- 林园事件林园事件发生于台湾高雄县林园乡(今高雄市林园区),是一起以石油化学工业为主的林园工业区污染所引发的纠纷事件。 1988年7月20日中油林园厂油管破裂漏油,同年8月27日,陈情人向高
- 防尘口罩防尘口罩是一种用橡皮筋或橡胶带固定在鼻子和嘴巴上的柔性衬垫,以防止在施工或清洁过程中遇到灰尘,例如来自石膏板、砖、木材、玻璃纤维、二氧化硅(来自陶瓷或玻璃制品)或清扫的
- 奶妈乳母,又称乳娘、奶娘、奶妈、奶母、奶婆,是雇用来以母乳喂哺婴儿的妇女。在古代,奶粉或其他母乳代用品未发明或未普及时,婴儿的生母如不能或不愿意哺育其子女,往往会雇用乳母。尤
- 美容美容指为了追求“美”而对于身体所进行的物理性之修缮巧饰之行为,通常指容貌上的。美容有三个定义:本条目指第一及第二项。我们现在每天出门前必做的事情——洗脸,是文字记载的
- 药物测试药物测试(英语:drug test),对于人体进行的测试,通过检查人体的血液、尿液、皮肤、头发等,来确认受测者是否摄取过某种特定药物。在正式的体育运动竞赛中实施的药物检查,称为禁药检
- 脊髓性肌萎缩症脊髓性肌肉萎缩症(英语:Spinal muscular atrophy,简写为SMA),是一种遗传性神经疾病。它会造成运动神经元退化、肌肉萎缩,肌肉无力,最终造成死亡。控制肌肉的运动神经里的某种蛋白质