首页 >
非标准模型
✍ dations ◷ 2025-04-24 21:38:07 #非标准模型
在数理逻辑的模型论中,称某理论的模型为非标准模型,如果它与预期模型(或称标准模型)不同构。如果预期模型是无限的, 且使用的语言是一阶的,则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。非标准模型在集论、非标准分析,以及非标准算术模型中有所研究。
相关
- 大脑大脑(英语:Cerebrum),由左右两个大脑半球组成。将两个半球隔开的是称为大脑纵隔的沟壑,两个半球除了胼胝体相连以外完全左右分开。半球表面布满脑沟,沟与沟之间所夹细长的部分称为
- 胰蛋白酶结构 / ECOD胰蛋白酶(英语:trypsin)是一种酶。胰蛋白酶在小肠工作,它会将蛋白质水解为肽,进而分解为氨基酸。这是蛋白质能被人体吸收的必要过程。这种酶的作用原理和其他丝氨酸蛋
- 钠离子通道钠离子通道是由膜主体蛋白(英语:integral membrane protein)形成的离子通道,可以让钠离子Na+通过细胞膜。钠离子通道可以依启动的方式加以分类,一种是依电压变化而启动的(电压门控
- 烟草控制框架公约《烟草控制框架公约》(英语:Framework Convention on Tobacco Control),简称FCTC,是针对烟草的第一部世界范围多边协议,也是世界卫生组织(WHO)第一个具有国际法约束力的全球性公约
- 核形虫纲核形虫纲(Cristidiscoidea或Nucleariae)是真菌总界下的一个演化支,与后孢菌(英语:Opisthosporidia)(真菌所属类群)为旁系群。由于核形虫接近,但又位于真菌与动物主要分支之外,对核形虫
- 西罗莫司雷帕霉素(Rapamune),又名西罗莫司(Sirolimus),为大环内酯类化合物,现主要运用于肾移植的抗排异治疗。其通过抑制白细胞介素-2从而阻碍激活T细胞及B细胞来抑制免疫。其首次发现于复
- 合金合金,就是两种或两种以上化学物质(至少有一组分为金属)混合而成具有金属特性的物质,一般由各组分熔合成均匀的液体,再经冷凝而得。合金至少是以下三种中的一种:元素形成的单一相固
- 封建制度封建是源自于中国古代天子依爵位高低将领土分封与宗室或功臣作为食邑的制度。在下,大地主或领主能强行索取土地收入,并且能在其领地上行使政府职权。而在现代的汉语使用上,“封
- 纳粹占领荷兰德军决定性胜利2,332人死亡7,000人受伤荷兰战役(荷兰语:Slag om Nederland)是黄色方案(德语:Fall Gelb)的一部分,德军在1940年5月10日采取入侵低地三国和法国的军事行动。荷兰的主
- 志愿者志愿者(港澳称为义工,台湾称为志愿工作者),台湾简称志工,是指一种助人、具组织性及基于社会公益责任的参与行为,通常旨在促进善良或改善人类生活质量。其发展可追溯至二次大战后,福