结构 (数理逻辑)

✍ dations ◷ 2025-06-09 18:25:35 #模型论,数学结构

在数学学科模型论中,语言 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}}\ } 上的关系;如果有的话。

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

相关

  • 隐形隐形能力,或称隐身能力,是指人能够将自己变成透明人的超能力,这是奇幻、科幻作品常见的题材之一。透明人的身体是看不见的,但透明人本身仍然可以看见其它的物体。有些透明人即使
  • 青铜器时代青铜时代(Bronze Age),又称青铜器时代、青铜文明,在考古学上是以使用青铜器为标志的人类文化发展的一个阶段。青铜是红铜和锡或铅的合金,因为其氧化物颜色青灰,故名青铜。由于青铜
  • 邓子新邓子新(1957年3月-),男,湖北房县人。中国微生物学家。武汉大学教授。1982年毕业于华中农业大学微生物专业,1987年获英国东英吉利亚大学分子微生物学博士学位。1988年起任教于华中
  • APOL18542n/aENSG00000100342n/aO14791n/aXM_011530478、NM_001136540、NM_001136541、NM_003661、NM_145343、NM_145344、NM_001362927n/aNP_001130012、NP_001130013、NP_00365
  • 尺子尺子又称尺、间尺,是用来画线段(尤其是直的)、量度长度的工具或仪器。在尺规作图中,尺被视为可画无穷长的直线的工具。尺上通常有刻度以量度长度。有些尺更在中间留有特殊形状如
  • 菲森菲森又译福森(德语:Füssen)是德国巴伐利亚州东阿尔高县的一个城市,位于莱希河河畔,距离奥地利边境仅有5千米。人口14533人。其市徽为三条腿。该市镇创建于古罗马时代,位于从意大
  • 地质学时间表地质年代是用来描述地球历史事件的时间单位,通常在地质学和考古学中使用。地质年代共分为六个时间单位,从大到小依次是是宙/元(eon)、代(era)、纪(period)、世(epoch)、期(age)、时 (chron
  • 泥塑泥塑,是一种立体造型艺术,雕塑艺术的一种方法,既可以作为独立的艺术形式存在,也可以作为其它雕塑形式的辅助方法,例如:制作铜雕,玻璃钢雕塑的模具通常要先制作一比一的泥塑。泥塑的
  • 彼尔姆州彼尔姆州(俄语:Пе́рмская о́бласть,罗马化:Permskaya oblast)是俄罗斯原来的联邦主体之一(2005年12月1日前),现在是彼尔姆边疆区的一部分。面积160,600平方公里,人
  • 延迟性肌肉酸痛延迟性肌肉酸痛(英语:delayed onset muscle soreness,DOMS)是一种运动之后24–72小时出现的肌肉酸痛或不舒适。通常会持续两至三日。旧式理论普遍认为该痛症为乳酸积聚所引起,但