×
曼弗雷德·德罗斯特;吕迪格·哥贝尔

通用域和合并属性。 （英语） 兹比尔0803.68068

数学。结构。计算。科学。 3，第2期，137-159（1993）.
指称语义学理论中存在着各种各样的泛域。作者对模型理论中的一个著名结果（Fraíssé-Jónsson定理）进行了分类推广，该定理用于刻画包含普遍同质对象的一大类“合理”范畴。这些对象的存在以该范畴中有限对象的合并特性为特征。导出了以嵌入-投影对为态射的几类双有限域的泛齐次域的存在唯一性。此外，还得到了各种稳定的双有限域的泛齐次对象。然而，事件域和具体域的某些类别，以及所有相干Scott域的类别并不包含通用同质对象。作者表明，他们的建设可以有效地进行。
审核人：B.M.Schein（费耶特维尔）

引用于13文件

MSC公司：

68问题55 计算理论中的语义学
2008年2月25日 产品、合并产品和其他种类的限制和结肠炎
08C05号机组 代数的范畴
18立方厘米10 理论（例如代数理论）、结构和语义

关键词：

通用域;指称语义学;合并财产;同质域;双组域的范畴;事件域;混凝土域;相干Scott域
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{R.Göbel}，数学。结构。计算。科学。3，第2号，137--159（1993；Zbl 0803.68068）
全文： 内政部

参考文献：

[1] 弗雷斯，关系理论（1986）
[2] 内政部：10.1016/0022-4049（90）90055-M·Zbl 0686.68062号 ·doi:10.1016/0022-4049（90）90055-M
[3] Curien，《理论计算机科学研究笔记》（1986）
[4] Coquand，计算机科学课堂讲稿298 pp 344–（1988）·doi:10.1007/3-540-19020-1_18
[5] 温斯克尔，计算机科学课堂讲稿255 pp 325–（1987）·文件编号：10.1007/3-540-17906-2_31
[6] 卡梅隆，伦敦数学。Soc.课堂讲稿系列152（1990）
[7] 贝尔，模型和超产品：简介（1969年）
[8] 内政部：10.1137/021162·Zbl 0493.68022号 ·数字对象标识代码：10.1137/021162
[9] 阿默尔·伯克霍夫。数学。Soc.Cololq.Publ 25（1973年）出版
[10] 内政部：10.1016/0304-3975（83）90095-6·Zbl 0556.68017号 ·doi:10.1016/0304-3975（83）90095-6
[11] DOI:10.1016/S0304-3975（82）80002-9·Zbl 0497.68012号 ·doi:10.1016/S0304-3975（82）80002-9
[12] 斯科特，有序集第677页–（1981）
[13] Berry，《计算机科学讲义》62，第72页–（1978年）·doi:10.1007/3-540-08860-1_7
[14] 内政部：10.1137/0205037·Zbl 0337.02018号 ·数字对象标识代码：10.1137/0205037
[15] 巴伦德雷格特，《逻辑和数学基础研究》（1981年）·Zbl 0467.03010号
[16] 内政部：10.1016/0022-0000（78）90006-5·Zbl 0419.03007号 ·doi:10.1016/0022-0000（78）90006-5
[17] Banaschewski，休斯顿J.数学。第2页149页–（1976年）
[18] 内政部：10.1016/0890-5401（87）90048-4·Zbl 0628.68050号 ·doi:10.1016/0890-5401（87）90048-4
[19] 内政部：10.1007/BFb0035798·doi:10.1007/BFb0035798
[20] 电话：10.1137/0205035·兹比尔0355.68015 ·数字对象标识代码：10.1137/0205035
[21] 内政部：10.2307/1989739·Zbl 0017.33904号 ·doi:10.2307/1989739
[22] 内政部：10.1142/S01290541900028X·Zbl 0723.68066号 ·doi:10.1142/S01290541900028X
[23] Droste，第五届IEEE“计算机科学中的逻辑”研讨会，费城，1990年，第19页–（1990）
[24] Droste，计算机科学课堂讲稿440 pp 116–（1990）·doi:10.1007/3-540-52753-236
[25] 内政部：10.1016/0304-3975（90）90097-2·Zbl 0701.68074号 ·doi:10.1016/0304-3975（90）90097-2
[26] DOI:10.1093/log.com/2.2.119·Zbl 0776.68080号 ·doi:10.1093/log.com/2.2.119
[27] 内政部：10.1016/0890-5401（91）90032-W·Zbl 0759.68056号 ·doi:10.1016/0890-5401（91）90032-W
[28] 内政部：10.1016/0890-5401（89）90065-5·Zbl 0679.68149号 ·doi:10.1016/0890-5401（89）90065-5
[29] 内政部：10.1016/0304-3975（89）90117-5·Zbl 0678.68080号 ·doi:10.1016/0304-3975（89）90117-5
[30] 内政部：10.1016/S0019-9958（82）90796-3·Zbl 0542.03004号 ·doi:10.1016/S0019-9958（82）90796-3
[31] Kahn，Rapport de Recherche卡恩（1978年）336
[32] Jónsson，数学。扫描8 pp 137–（1960）·Zbl 0173.00505号 ·doi:10.7146/math.scanda.a-10601
[33] 内政部：10.1007/BFb0040267·doi:10.1007/BFb0040267
[34] C.R.学院Fraissé。科学。巴黎237第540页–（1953）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。