结构 (数理逻辑)

✍ dations ◷ 2025-04-04 23:41:07 #模型论,数学结构

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

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

相关

  • 锌硫化物硫化锌(化学式:ZnS)是锌的硫化物,为白色至黄色粉末或晶体,难溶于水,主要以闪锌矿和纤锌矿的形式存在。这两种结构都为宽禁带半导体材料,在光电子器件中有广泛应用。闪锌矿结构为立
  • 每福敏二甲双.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larg
  • 甲苯咪唑甲苯咪唑(英语:Mebendazole,简称MBZ),又名安乐士、美鞭达唑,为治疗多种寄生虫感染的指定用药。治疗对象包含蛔虫、蛲虫、线虫、绦虫、钩虫、滴虫、包囊虫,以及鞭虫类的感染。该药属
  • 阿敏阿敏(满语:ᠠᠮᡳᠨ,转写:Amin;16世纪末-1640年),爱新觉罗氏,清朝宗室,清太祖努尔哈赤之弟舒尔哈齐次子,天聪初年四大贝勒之一。阿敏初战是在万历三十六年(1608年),与褚英征讨乌喇,攻克宜罕
  • 布拉干省布拉卡省或译布拉坎省(Bulacan)是菲律宾的一个省份,位于中央吕宋政区。首府是马洛洛斯市。布拉卡省西邻邦板牙省、北邻新怡诗夏省、奥罗拉省及奎松省,南边为黎刹省。布拉卡省也
  • 堪达哈坎大哈(普什图语:قندهار‎,波斯语:قندهار‎),阿富汗第二大城市,位于该国南部,是阿富汗南部的经济、文化、交通中心,也是普什图族聚居的中心城市。坎大哈建城于公元前4世
  • 下一代网络下一代网络(英语:Next Generation Network,缩写为NGN),又称为次世代网络,是在一个统一的网络平台上以统一管理的方式提供多媒体业务,在集成现有的固定电话、移动电话基础上(统称FMC),
  • 京东东京东东路是中国宋朝(960年-1279年)的一个地方行政区,地处北宋首都东京开封府的东部。至道三年(997年)定天下为15路。熙宁五年(1072年)正式分京东路为京东东路和京东西路。 建炎年
  • 安第斯共同体安第斯共同体(西班牙语:Comunidad Andina,缩写为CAN),又称安第斯条约组织,是秘鲁、玻利维亚、厄瓜多尔、哥伦比亚和智利等南美洲国家组成的关税同盟。1969年,秘鲁、玻利维亚、厄瓜
  • 基督教法西斯主义基督教法西斯主义(Christofascism)是基督教和法西斯主义的有争议混成词。这个是一个由Dorothee Sölle在Beyond Mere Obedience: Reflections on a Christian Ethic for the F