非标准模型

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

相关

  • N Engl J Med《新英格兰医学杂志》(英语:The New England Journal of Medicine;简称 NEJM)是由美国麻省医学协会(英语:Massachusetts Medical Society)所出版的同行评审性质之医学期刊。它也是
  • 腹泻腹泻(俗称拉肚子,广东俗称肚痾,台语俗称漏屎,中医称之为泄泻,英语:diarrhea, diarrhœa来自希腊语:διάρροια,包含两个字根:“διά /dia,经过”,以及“ῥέω/rheo,流动”)的定
  • 沿岸流沿岸流(英语:longshore current)是指波浪推向岸边,有时波峰列(波列)并不平行海岸线,两者形成的夹角,一波一波的波浪推动成一股贴岸而行的海流。近岸水流的流动方向与碎波区底床地形.
  • 蜜环菌属蜜环菌属(学名:Armillaria)是属于寄生真菌,生长在树木、灌木丛当中。该属拥有大约45个物种,多为世界上体积最大的生物。其中,该属下体积最大的蜜环菌(Armillaria solidipes)在美国俄
  • 消化消化作用是指将食物(大分子)分解成足够小的水溶性分子(小分子),可以溶解在血浆,让身体能够吸收利用的过程。有些生物体会透过小肠吸收小分子,带到血液系统中。消化作用是生物异
  • 环境监测作业环境监测是通过对人类和环境有影响的各种物质的含量、排放量的检测,跟踪环境质量的变化,确定环境质量水平,为环境管理、污染治理等工作提供基础和保证。简单地说,了解环境水
  • 神经化学神经化学,是致力于神经化合物研究的神经科学分支。神经化合物是神经系统活动中的一个有机分子。这规定经常使用提到神经传送体和其它分子譬如影响神经元作用的神经活跃药物。
  • 骨外科骨科即骨外科,也被称为矫形外科(英语:Orthopedic surgery 或 Orthopaedics,美式英文:Orthopedics)是使用手术和非手术的方法来治疗肌肉骨骼系统创伤、脊柱损伤、运动损伤、退行性
  • 流泪泪或称泪液、泪水,是眼睛外部的泪腺所分泌的液体。泪的原料是血液中的水分,它经由泪腺分泌出来后、通过并润湿眼球表面,之后进入鼻泪管,流入鼻腔内而进入喉咙。 它不只可湿润眼
  • 规范控制权威控制或规范控制,是图书馆信息学中一个整理图书馆目录(英语:Library catalog)和目录信息的方式,使同一主题使用相同、唯一的标题。这些标题贯彻整个目录库并且能与其他交叉引