非标准模型

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

相关

  • 心包炎心包炎(英语:Pericarditis)是心包(心脏周围的纤维囊)炎症的症状,症状多半是突然出现的急性胸痛,疼痛的部位也会出现在肩膀、颈部或是背部,若坐姿较直,疼痛会比较和缓,若躺下或是深呼吸
  • 锥虫锥虫(Trypanosoma,希腊语:trypaô钻,soma体)是一种带鞭毛的原生动物(鞭毛虫),它可寄生在多种温血动物和冷血动物中。布氏罗得西亚锥虫(Trypanosoma brucei rhodesiense)和布氏冈比亚锥
  • 碱基对碱基对是形成核酸DNA、RNA单体以及编码遗传信息的化学结构。组成碱基对的碱基包括腺嘌呤(A)、胸腺嘧啶(T)、鸟嘌呤(G)、胞嘧啶(C)、尿嘧啶(U)。在DNA或某些双链RNA分子结构中,由于碱基
  • β链2B5I、​2ERJ、​3BPL、​3QAZ、​3QB7、​4GS7356116186ENSG00000147168ENSMUSG00000031304P31785P34902NM_000206NM_013563、NM_001308535、XM_017318396NP_000197NP_0012
  • 洪涛洪涛(1931年12月26日-),山东荣成人,中华人民共和国科学家、中国工程院院士。早年毕业于山东医学院,后进入罗马尼亚科学院病毒学研究所获博士学位。1971年,担任中国医学科学院流行病
  • 妈妈母亲简称母,或称妈妈,是一种亲属关系的称谓,是子女对双亲中的女性的称呼。母亲和子女是重要的直系亲属关系之一,通常具有亲密关系。一般指生育小孩的女人(即生母);但在有些状况下,仅
  • 猪哥亮猪哥亮(闽南语:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} 豬哥
  • 胱胺酸症胱氨酸症(英语:Cystinosis)是溶小体贮积症的一种,因第17对染色体短臂13位置的CTNS基因发生缺损,导致将胱氨酸携出溶小体的运输酶功能异常,胱氨酸堆积溶小体上,进而造成器官的病变。
  • 波罗的语族波罗的语族是印欧语系下的一族语言,使用地区处于北欧波罗的海沿岸。共分两支:“西波罗的语支”(其下语言已全部灭亡)和“东波罗的语支”(目前仍在使用的此族语言都在其中)。虽同属
  • 湖广填四川湖广填四川是指发生在元朝末年到明代洪武年间和清代顺治到乾隆年间的两次大规模的湖广省(今湖北与湖南全境、广东北部等)的居民迁居到四川各地拓垦的移民潮。根据考证表明,江西