结构 (数理逻辑)

✍ dations ◷ 2025-04-26 21:37:24 #模型论,数学结构

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

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

相关

  • 链霉素链霉素是一种抗生素,为第一个氨基糖苷类抗生素,也是第一个应用于治疗肺结核的抗生素。是从革兰氏阳性的放线菌灰色链霉菌培养液中分离出来的抗菌素。其硫酸盐为白色或微黄色粉
  • 世界银行189个国家(国际复兴开发银行) 173个国家(国际开发协会)世界银行(英语:World Bank,缩写WB)是为发展中国家资本项目提供贷款的联合国系统国际金融机构。它是世界银行集团的组成机构之
  • 笑气一氧化二氮或氧化亚氮(英语:Nitrous oxide),无色有甜味气体,又称笑气,是一种氧化剂,化学式N2O,在一定条件下能支持燃烧,但在室温下稳定,有轻微麻醉作用,其麻醉作用于1799年由英国化学家
  • 氦-5氦-5,是氦的同位素之一,元素符号为5He。它的原子核由二颗质子和三颗中子所组成。并带有放射性,会放出中子,其半衰期为7.6×10−22秒。
  • 科普利奖章科普利奖章(英语:Copley Medal)是英国皇家学会每年颁发的科学奖章,以奖励“在任何科学分支上的杰出成就”。始于1731年授予斯蒂芬·格雷(英语:Stephen Gray (scientist))的科普利奖
  • 鼻祖祖先,又称祖亲、祖宗,是指辈分比自己高的直系血亲,与后代相反。然而,很多时候所指的祖先,通常都是最少隔几代,年代久远的则称为远祖。在很多父系社会,狭义的祖先一词只代指父亲那边
  • 动态网页动态网页是一个对所有动态生成与动态更新的网页的统称。与传统的静态网页相反,它会因为变量的改变而产生不同的网页。这既可能是服务器端生成的网页,也可能是用户端生成的网页
  • 威廉·维恩威廉·卡尔·维尔纳·奥托·弗里茨·弗兰茨·维恩(Wilhelm Carl Werner Otto Fritz Franz Wien,1864年1月13日-1928年8月30日),德国物理学家,研究领域为热辐射与电磁学等。1893年,
  • 朱珔朱珔(1769年-1850年),安徽泾县人,字玉存、兰坡,号兰友,嘉庆七年(1802年)壬戌科进士,选庶吉士,散馆授编修。官至赞善,迁侍讲。前后主讲钟山、正谊、紫阳书院二十五年。作文宗桐城派,曾参加
  • 韩国广播公司韩国广播公司(朝鲜语:한국방송공사/韓國放送公社 Han-guk Bangsong Gongsa,英语:Korean Broadcasting System),通称韩国放送(英语:KBS),亦可称为韩国广播电视台,为大韩民国最早的公营电