×

机构中的饱和模型。 (英语) Zbl 1208.03040号

本文在抽象的制度依赖层次上定义了饱和模型的概念,并发展了基本的存在唯一性定理。作为应用,他们证明了Keisler-Shelah同构定理的一般机构依赖版本,“任何两个基本等价模型都具有同构超幂”(假设为广义连续统假设)。

MSC公司:

03元50分 具有特殊属性(饱和、刚性等)的模型
03C95号 抽象模型理论
18 C50 形式语言的范畴语义
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿达梅克J.,罗西克J.:《本地可呈现和可访问类别》,伦敦数学学会讲义第189卷。剑桥大学出版社,剑桥(1994)
[2] Andréka H.,Németi I.:Łosh引理适用于所有类别。科学研究。数学。挂。13, 361–376 (1978)
[3] Astesiano E.、Bidoit M.、Kirchner H.、Krieg-Brückner B.、Mosses P.、Sannella D.、Tarlecki A.:CASL:通用代数规范语言。西奥。计算。科学。286(2), 153–196 (2002) ·Zbl 1061.68103号 ·doi:10.1016/S0304-3975(01)00368-1
[4] Bidoit,M.,Hennicker,R.:关于可观测性和可达性概念的整合。摘自:《第五届软件科学和计算结构基础国际会议论文集》(FOSSACS’2002),《计算机科学讲义》,第2303卷,第21-36页(2002)·Zbl 1077.68709号
[5] Borzyszkowski,T.:结构化规范的高阶逻辑和定理证明。摘自:Choppy,C.,Bert,D.,Mosses,P.(eds.)1999年代数发展技术研讨会,LNCS,第1827卷,第401-418页(2000)·Zbl 0966.03010号
[6] Chang C.-C.,Keisler H.J.:模型理论。北荷兰,阿姆斯特丹(1990)
[7] Cìrstea C.:余代数的模态逻辑机构。日志。代数程序。67(1–1), 87–113 (2006) ·Zbl 1095.03081号 ·doi:10.1016/j.jlap.2005.09.004
[8] Codescu,M.,Găină,D.:机构饱和保护。私人通信
[9] Codescu M.,GéinéD.:机构中的Birkhoff完备性。日志。大学2(2),277–309(2008)·Zbl 1179.03069号 ·doi:10.1007/s11787-008-0035-1
[10] Diaconescu,R.:机构的额外理论形态:多仿生语言的逻辑语义。应用分类结构6(4):427–4531998。初步版本作为JAIST技术报告IS-RR-97-0032F出现于(1997)
[11] Diaconescu R.:研究所依赖的超产品。基金。通知。55(3–4), 321–348 (2003) ·兹伯利1036.03055
[12] Diaconescu R.:机构中的基本图表。J.日志。计算。14(5), 651–674 (2004) ·Zbl 1104.03036号 ·doi:10.1093/logcom/14.5.651
[13] Diaconescu R.:克雷格插值定理的机构相关证明。双头螺栓日志。77(1), 59–79 (2004) ·Zbl 1048.03026号 ·doi:10.1023/B:STUD.000034185.62660.d6
[14] Diaconescu,R.:机构依赖模型理论的瑰宝。收录于:Futatsugi,K.,Meseguer,J.,Jouannaud,J.-P.(编辑)代数,意义和计算(纪念约瑟夫·戈根教授的节日),LNCS,第4060卷,第65-98页。柏林-海德堡施普林格-弗拉格出版社(2006)·Zbl 1133.03014号
[15] Diaconescu R.:制度逻辑的证明系统。J.日志。计算。16(3), 339–357 (2006) ·Zbl 1113.03062号 ·doi:10.1093/log.com/exi082
[16] Diaconescu R.:规范有限性的分类研究。Inf.流程。莱特。108(2), 75–80 (2008) ·Zbl 1191.68410号 ·doi:10.1016/j.ipl.2008.04.001
[17] Diaconescu,R.:机构依赖模型理论。Birkhäuser(2008年)·Zbl 1144.03001号
[18] Diaconescu R.,Futatsugi K.:《CafeOBJ报告:面向对象代数规范的语言、证明技术和方法》,AMAST计算机系列,第6卷。《世界科学》,新加坡(1998年)·Zbl 0962.68115号
[19] Diaconescu,R.,Goguen,J.,Stefaneas,P.:模块化的逻辑支持。收录于:Huet,G.,Plotkin,G.(编辑)《逻辑环境》,第83-130页。剑桥,1993年。1991年5月在苏格兰爱丁堡举行的研讨会论文集
[20] Fiadeiro J.L.,Costa J.F.:镜子,我手中的镜子:过程行为规范和模型之间的二重性。数学。结构。计算。科学。6(4), 353–373 (1996) ·Zbl 0857.68076号 ·doi:10.1017/S0960129500001067
[21] Goguen J.,Burstall R.:机构:规范和编程的抽象模型理论。J.协会计算。机器。39(1), 95–146 (1992) ·Zbl 0799.68134号
[22] Goguen,J.,Diaconescu,R.:面向对象范式的代数语义。收录于:Ehrig,H.,Orejas,F.(编辑)《数据类型规范的最新趋势》,《计算机科学讲义》,第785卷,第1-34页。斯普林格(1994)·Zbl 0941.68637号
[23] Grätzer G.:《泛代数》。施普林格,纽约(1979)·Zbl 0412.08001号
[24] G’in’,D.,Petria,M.:通过强制实现的完整性。J.日志。计算。(显示)·兹比尔1233.03063
[25] G′in′D,Popescu A.:塔斯基初等链定理的一个机构相关推广。J.日志。计算。16(6), 713–735 (2006) ·Zbl 1123.03058号 ·doi:10.1093/log.com/exl006
[26] G′in′D,Popescu A.:罗宾逊一致性定理的机构依赖证明。螺柱日志。85(1), 41–73 (2007) ·Zbl 1123.03059号 ·doi:10.1007/s11225-007-9022-4
[27] Holz M.、Steffens K.、Weitz E.:红衣主教算术导论。Birkhäuser,波士顿(1999)·Zbl 0930.03053号
[28] Joachim L.,Scott P.:《高阶范畴逻辑导论》,第7卷。剑桥高等数学研究,剑桥(1986)·兹比尔0596.03002
[29] Lamo,Y.:多代数研究所——代数软件开发的通用框架。卑尔根大学博士论文(2003)
[30] Mac Lane S.:工作数学家的类别。第2版。施普林格,纽约(1998)·Zbl 0906.18001号
[31] Matthiessen G.:强代数体范畴上的正则和强有限结构。可以。数学杂志。30, 250–261 (1978) ·Zbl 0383.18003号 ·doi:10.4153 CJM-1978-024-5
[32] Meseguer J.:条件重写逻辑作为并发的统一模型。西奥。计算。科学。96(1), 73–155 (1992) ·Zbl 0758.68043号 ·doi:10.1016/0304-3975(92)90182-F
[33] Morley M.,Vaught R.:齐次通用模型。数学。扫描。11, 37–57 (1962) ·Zbl 0112.00603号
[34] Mossakowski T.:将CASL与其他规范语言联系起来:机构级。西奥。计算。科学。286, 367–475 (2002) ·Zbl 1061.68106号 ·doi:10.1016/S0304-3975(01)00369-3
[35] Mossakowski T.,Diaconescu R.,Tarleck A.:什么是逻辑翻译?。日志。大学3(1),59-94(2009)·Zbl 1255.03034号 ·doi:10.1007/s11787-009-0001-6
[36] Mossakowski T.、Goguen J.、Diaconescu R.、Tarlecki A.:什么是逻辑?。在:Béziau,J.-Y.(编辑)《逻辑学》,第113–133页。Birkhäuser Boston,巴塞尔(2005)·Zbl 1080.03028号
[37] Petria M.,Diaconescu R.:机构中的可定义性摘要。J.塞姆。日志。71(3), 1002–1028 (2006) ·Zbl 1110.03064号 ·doi:10.2178/jsl/1154698588
[38] Sannella D.,Tarlecki A.:任意机构中的规范。Inf.Control信息控制76、165–210(1988)·Zbl 0654.68017号
[39] Schröder,L.,Mossakowski,T.,Lüth,C.:制度框架中的类型-类多态性。摘自:Fiadeiro,J.(ed.)《代数发展技术的最新趋势》,第17届国际研讨会(WADT 2004),《计算机科学讲义》,第3423卷,第234-248页。施普林格,柏林,2004·Zbl 1118.68562号
[40] Shelah S.:每两个基本等价模型都有同构超幂。以色列。数学杂志。10, 224–233 (1971) ·Zbl 0224.02045号 ·doi:10.1007/BF02771574
[41] Tarlecki,A.:制度理论的点点滴滴。摘自:Pitt,D.,Abramsky,S.Poigné,A.,Rydeheard,D.(编辑)《分类理论和计算机编程夏季研讨会论文集》,《计算机科学讲义》,第240卷,第334-360页。施普林格(1986)·Zbl 0636.68029号
[42] Tarlecki A.:关于抽象代数机构中自由模型的存在性。西奥。计算。科学。37, 269–304 (1986) ·兹伯利0608.68014 ·doi:10.1016/0304-3975(85)90094-5
[43] Tarlecki A.:抽象代数机构中的拟变分。J.计算。系统。科学。33(3), 333–360 (1986) ·Zbl 0622.68033号 ·doi:10.1016/0022-0000(86)90057-7
[44] Tarlecki,A.:面向异构规范。收录于:Gabbay,D.,van Rijke,M.(编辑)《合并系统前沿国际会议论文集》(FroCoS’98),第337–360页。研究出版社(2000)·Zbl 0988.03056号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。