首页 >
非标准模型
✍ dations ◷ 2025-10-29 05:46:01 #非标准模型
在数理逻辑的模型论中,称某理论的模型为非标准模型,如果它与预期模型(或称标准模型)不同构。如果预期模型是无限的, 且使用的语言是一阶的,则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。非标准模型在集论、非标准分析,以及非标准算术模型中有所研究。
相关
- 蕈褶蕈褶(英语:lamella, gill),又称菌褶,是担子菌门真菌子实体(担子果)的菌盖内侧的脊状突起,多条脊状突起以蕈柄为中心,一般形成放射状的排列。蕈褶表面有子实层,是担孢子产生之处,子实层
- 艾司西酞普兰艾司西酞普兰(英语:Escitalopram),或称依地普仑 ,商品名为立普能(Lexapro)等,是一种选择性5-羟色胺再摄取抑制剂(SSRI)类抗抑郁药。 美国食品药品监督管理局(FDA)批准其用来治疗成人和12
- 潮汐能潮汐能是指从海水面昼夜间的涨落中获得的能量。在涨潮或落潮过程中,由海水进出水库带动发电机发电。潮汐能是一种水能,它将潮汐的能量转换成电能及其它种有用形式的能源。第一
- 霜霜是一种通常用于皮肤的外用制剂。也有用于其他粘膜如直肠或阴道的霜。霜通常被认为是一种药剂产品,因为即使是用作化妆品的护肤霜也同样基于药学开发的技术,并且不作为药物使
- Jori, Alberto阿尔贝托·约里(意大利语:Alberto Jori,1965年7月2日-),意大利历史学家、哲学家,目前是德国杜宾根大学哲学系的教授。他同时也是亚里斯多德哲学的专家,在2003年,他借由关于亚里斯多德
- 鲁道夫·卡尔纳普鲁道夫·卡尔纳普(Rudolf Carnap,又译卡纳普,1891年5月18日-1970年9月14日),是20世纪著名的美国分析哲学家,生于德国雷姆沙伊德。经验主义和逻辑实证主义代表人物,维也纳学派的领袖
- 封建制度封建是源自于中国古代天子依爵位高低将领土分封与宗室或功臣作为食邑的制度。在下,大地主或领主能强行索取土地收入,并且能在其领地上行使政府职权。而在现代的汉语使用上,“封
- 靶向治疗人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学靶向治疗或靶向分子治疗(英语:Targeted
- 支链氨基酸支链氨基酸(英语:Branched-chain amino acid)是指亮氨酸、异亮氨酸和缬氨酸三种分子结构中侧链具有分支结构的氨基酸。在运动界常作为增强肌肉力量的补充剂。
- 神经语言学神经语言学是人类大脑神经对于语言的理解,产出和习得之研究。作为一个跨学科领域,神经语言学运用了来自不同领域的方法,如神经科学、语言学、认知科学、神经生物学、沟通障碍、
