非标准模型

✍ dations ◷ 2025-08-28 08:33:55 #非标准模型
在数理逻辑的模型论中,称某理论的模型为非标准模型,如果它与预期模型(或称标准模型)不同构。如果预期模型是无限的, 且使用的语言是一阶的,则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。非标准模型在集论、非标准分析,以及非标准算术模型中有所研究。

相关

  • ICD-9编码列表 (240–279)医学导航:遗传代谢缺陷代谢、k,c/g/r/p/y/i,f/h/s/l/o/e,a/u,n,mk,cgrp/y/i,f/h/s/l/o/e,au,n,m,人名体征药物(A16/C10)、中间产物(k,c/g/r/p/y/i,f/h/s/o/e,a/u,n,m)Templat
  • 输尿管输尿管(拉丁语:Ureter)是位于腹膜外位的细长肌性管道,左右各一,约平第2腰椎上缘起自肾盂末端,终于膀胱。长约20~30厘米,平均管径0.5~1.0厘米,最窄处口径只有0.2~0.3厘米。输尿管的主要
  • ECL细胞类肠嗜铬细胞(Enterochromaffin-like cells),常简称ECL细胞(ECL cells)是一种胃黏膜(英语:gastric mucosa)上的神经分泌细胞,常分布于胃壁细胞附近。ECL细胞能分泌组织胺,辅助胃酸的分
  • 货币美国 东帝汶 厄瓜多尔 萨尔瓦多 马绍尔群岛 密克罗尼西亚联邦 帕劳 巴拿马 津巴布韦 英属维尔京群岛 荷兰加勒比区 特克斯和凯科斯群岛美元(英语:United States Do
  • ST节段ST节段(ST segment)为心电图学术语,表示QRS复合波(英语:QRS complex)至T波之间的间期,一般介于 0.005 至 0.150 秒之间(5 至 150 毫秒)。ST节段始于J点(英语:J-point)(即QRS复合波的终点),
  • 大麻素大麻素(英语:Cannabinoids),又称大麻类物质,是从大麻里发现的一组萜酚类化合物,也自然地存在于动物神经和免疫系统里。大麻素的外延包括结构上与四氢大麻酚(Tetrahydrocannabinol,TH
  • 桂阳县桂阳县位于中国湖南省东南部,为郴州市辖县。县境为湖南多金属矿区,也是中国重要烤烟生产县份和重点产烟基地之一。桂阳位于春陵水上游,骑田岭西北侧,为郴州地区面积最大、人口最
  • 甲硝哒唑甲硝唑(Metronidazole,MNZ),目前多以咪唑尼达(Flagyl)的商品名流通,是一种抗生素和抗原虫剂(英语:antiprotozoal medication)。常单独或和其他抗生素一起使用,作为治疗骨盆腔炎、心内膜
  • 索佐波尔索佐波尔是保加利亚的城镇,位于该国东南部黑海沿岸,距离首府布尔加斯35公里,由布尔加斯州负责管辖,2009年人口5,753,居民主要信奉东正教。
  • 树蛙Leptomantis Peters, 1867 Rhacoforus Palacky, 1898 (lapsus) Racophorus Schlegel, 1826 (lapsus)树蛙(学名:Rhacophorus)是无尾目树蛙科下的一个属,全世界大约有80种,大多皮色