非标准模型

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

相关

  • 粘膜黏膜是生物体(口腔、器官、胃、肠、尿道等器官里面)中由上皮组织和结缔组织构成的膜状结构。其结缔组织部分被称为固有层,其上皮组织部分被称为上皮,内有血管和神经,能分泌黏液。
  • 邮政美国邮票是指在美国发行的邮票。美国邮票可以分为普通邮票、纪念邮票、航空邮票三种类型。美国的第一套普通邮票发行于1847年,当时面值为5美分和10美分。未使用的1847年普通
  • 生理生理学(英语:physiology/ˌfɪziˈɒlədʒi/; 来自古希腊语 φύσις (physis),意即:“nature, origin”,和 -λογία (-logia),意即:“study of” ) 是生物学的一门子领域,研
  • CCL9CCL9(英语:Chemokine (C-C motif) ligand 9)是一个小型的细胞因子,属于CC趋化因子家族。它的别名有巨噬细胞炎性蛋白-1γ(英语:macrophage inflammatory protein-1 gamma,MIP-1γ),
  • 酚甲烷双酚A(Bisphenol A,缩写为BPA),台灣多稱之為酚甲烷。一种化工原料,是已知的内分泌干扰素(环境荷尔蒙)。它是一种有机化合物,具有两个酚官能团。双酚A被用于合成聚碳酸酯塑料和环氧树
  • 社会阶级实证主义 · 反实证主义(英语:Antipositivism) 结构主义 · 冲突理论 中层理论 · 形式理论 批判理论人口 · 团体 · 组织(英语:Organizational theory) · 社会化 社会性
  • SNAC社交网络及存档内容(SNAC)是发现、定位和运用分布式信史的在线平台。它是由设在美国的一些组织合作发起的。SNAC的主要工作为“从对人的描述中分隔出人创造和记录人生活和工作
  • 拉比拉比(רַבִּי‎, Rabbi),有时也写作辣彼,是犹太人的特别阶层,主要为有学问的学者,是老师,也是智者的象征。犹太人的拉比社会功能广泛,尤其在宗教担当重要角色,为许多犹太教仪式
  • 天路历程《天路历程》(英语通称“The Pilgrim's Progress”)是英格兰基督教作家、布道家约翰·班扬的著作,于1678年2月出版,是一首基督教的寓言诗(Allegory),后来也被认为是小说。它被认为
  • 社会阶层实证主义 · 反实证主义(英语:Antipositivism) 结构主义 · 冲突理论 中层理论 · 形式理论 批判理论人口 · 团体 · 组织(英语:Organizational theory) · 社会化 社会性