结构 (数理逻辑)

✍ dations ◷ 2025-10-23 12:52:30 #模型论,数学结构

在数学学科模型论中,语言 L {\displaystyle {\mathcal {L}}} 的结构 A {\displaystyle {\mathfrak {A}}} (也叫做 ' L {\displaystyle {\mathcal {L}}} -结构',并通常写为哥特体大写)是一个有序对,它的第一个成员是论域或全集 A   {\displaystyle {\mathit {A}}\ } (对应于可能带有定义在其上的关系和函数的集合,并通常写为相应于结构名字的罗马体大写),它的第二个成员是一个释义 I {\displaystyle {\mathcal {I}}} ,就是 L {\displaystyle {\mathcal {L}}} 的一个偏函数,它完全定义在 L {\displaystyle {\mathcal {L}}} 的非逻辑符号之上,使得 L {\displaystyle {\mathcal {L}}} 的常量符号对应于 A   {\displaystyle {\mathit {A}}\ } 上的元素,如果有的话; L {\displaystyle {\mathcal {L}}} 的函数符号对应于 A   {\displaystyle {\mathit {A}}\ } 上的函数,如果有的话;而 L {\displaystyle {\mathcal {L}}} 的关系符号对应于 A   {\displaystyle {\mathit {A}}\ } 上的关系;如果有的话。

在模型论中使用的术语模型,本质上是"结构"的同义词,但是意图用在不同的上下文中。典型的,术语"模型"在头脑中有一个特定理论的时候使用,并且只考虑为这个理论的模型,—就是说满足在这个理论中所有句子的结构。在另一方面,"结构"意图在缺乏对这种结构的行为的所知或规定的时候使用。

相关

  • 疫苗接种疫苗接种,是将疫苗制剂接种到人或动物体内的技术,使接受方获得抵抗某一特定或与疫苗相似病原的免疫力,借由免疫系统对外来物的辨认,进行抗体的筛选和制造,以产生对抗该病原或相似
  • 氧化态氧化态(英文:Oxidation State)表示一个化合物中某个原子的氧化程度。形式氧化态是通过假设所有异核化学键都为100%离子键而算出来的。氧化态用阿拉伯数字表示,可以为正数、负数
  • 干细胞治疗干细胞疗法是通过利用对干细胞进行体外分离、培养、定向诱导分化等,能够培养出一种全新的、正常的、更年轻的细胞、组织、器官等。通过特殊的移植技术移植到体内,代替那些正常
  • 长春花属生物碱长春花属(学名:Catharanthus)包含了八种多年生的草本植物。其中七种原产于马达加斯加岛,而第八种C. pusillus则来自斯里兰卡。先前这属植物被列于近亲属—蔓长春花属(Vinca)—之
  • 无丝分裂无丝分裂(英语:amitosis)是指细胞核和细胞质直接分裂成两个大小大致相等的子细胞。因为在分裂过程中没有出现纺缍丝和染色体的变化,故被称为无丝分裂,与有丝分裂相对。无丝分裂又
  • 盐碱滩盐碱滩,又称盐沼,是沿海潮间带和陆地间的一种生态系统,海水或咸水有规律地涌入流出地带。这一地带主要生长盐土植物。这些植物是陆生植物且耐盐碱。在水域食物链及海陆营养交换
  • 克洛维二世克洛维二世(Clovis II,633年-657年10月31日),法兰克王国墨洛温王朝的国王(639年1月19日-657年10月31日在位)。法兰克国王达戈贝尔特一世、奥斯特拉西亚国王西吉贝尔特三世的弟弟。63
  • 圣伯多禄广场圣伯多禄广场(意大利语:Piazza San Pietro),亦译圣彼得广场,位于梵蒂冈圣伯多禄大殿前,长340米,宽240米,由贝尔尼尼设计,是罗马最著名的广场。整个广场有两重的巴洛克式柱廊围绕。因
  • 无条件投降无条件投降(Unconditional Surrender)是指在作战结束时战败的一方允许战胜方完全控制其政治和社会,对其中的事务进行任何处理。一般来说,提出无条件投降会延长战争的时间,因为这
  • 吴海燕吴海燕(1958年-),女,汉族,上海人,染织与服装设计专家,第十一届全国政协委员。1984年毕业于浙江美术学院工艺系,担任中国美术学院设计学院院长。2001年,成为第5届中国时装设计“金顶奖