首页 >
非标准模型
✍ dations ◷ 2025-10-08 23:03:51 #非标准模型
在数理逻辑的模型论中,称某理论的模型为非标准模型,如果它与预期模型(或称标准模型)不同构。如果预期模型是无限的, 且使用的语言是一阶的,则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。非标准模型在集论、非标准分析,以及非标准算术模型中有所研究。
相关
- 双氯西林双氯西林(Dicloxacillin)是一种半合成的β-内酰胺类抗生素,属于耐酶的半合成青霉素类抗生素,主要治疗由革兰氏阳性菌感染引发的疾病。双氯西林有多种商品名,比如百时美施贵宝生产
- 骨髓移植骨髓移植(学名:hematopoietic stem cell transplantation,缩写:HSCT)是透过静脉注射正常骨髓细胞至白血病或再生不良性贫血等血液难病患者的治疗。骨髓移植所使用的造血干细胞,除
- 历年逝世人物列表这是一个选择年份的列表,在这里你可以查看任何一年逝世的知名人士。
- 胃肠气胀消化系统(消化道)气体或胃肠气、胃肠气胀,俗称屁(flatulence),亦称矢气,指动物消化道肛门排出的气体。有研究指出,牛羊等反刍动物放屁所产生的甲烷可能导致全球暖化。屁的主要气体来
- 瑞典– 欧洲(绿色及深灰色)– 欧洲联盟(绿色) —瑞典王国(瑞典语:Konungariket Sverige 发音 帮助·信息)通称“瑞典”,是一个位于斯堪地纳维亚半岛的北欧国家,首都为斯德哥尔摩。西
- 电解质不平衡电解质在生物体的自平衡维持上相当的重要。电解质可调节心臓及神经机能、输送氧气、维持体液平衡(英语:fluid balance)及酸碱平衡等。电解质的不平衡可能因为以下原因而产生:过
- 孕激素孕激素(英语:progestogens)是一类包括孕酮在内的激素。孕激素是五大类类固醇激素中的一大类,其他四种分别是雌激素、雄激素、盐皮质激素与糖皮质激素。所有孕激素都有着基于二十
- 鹊鸲鹊鸲(学名:Copsychus saularis),又名猪屎渣、吱渣、信鸟或四喜,属鹟科鹊鸲属。分布于中国南部及南亚、东南亚国家。在印度它是一种观赏鸟,更是孟加拉国的国鸟。鹊鸲雄鸟体长19厘米
- 抗心律不整药抗心律失常药(英语:Antiarrhythmic agents)是一类用于抑制心脏非正常节律(心律失常)的药物,这些情况例如心房颤动、心房扑动、心室性心搏过速以及心室颤动。很多人试图将此类药物
- 弥散性血管内凝血弥散性血管内凝血(英语:Disseminated Intravascular Coagulation,简称DIC),又称消耗性凝血病,是指在某些致病因子的作用下,大量促凝物质入血,凝血因子和血小板被活化,使凝血酶增多,微