稳定性理论、不可分辨排列和嵌入式有限模型
由AMS MathViewer提供支持的HTML文章
摘要：
工具书类
S.Abiteboul、R.Hull、V.Vianu。 数据库基础 艾迪森·韦斯利，1995年。 A.K.Aĭlamazyan , M.M.Gilula先生 , A.P.斯托尔布什金 、和 G.F.Shvarts公司 , 无限域关系模型的有限域化简 杜克。 阿卡德。 诺克SSSR 286 （1986），编号2，308–311（俄语）。 先生 823391 约翰·鲍德温 , 稳定性理论基础 《数理逻辑的观点》，施普林格-弗拉格出版社，柏林，1988年。 先生 918762 ，DOI 10.1007/978-3-662-07330-8 O.Belegradek、A.Stolboushkin、M.Tsaitlin。 扩展订单通用查询。 《纯粹与应用逻辑年鉴》97（1999），85-125。 O.Belegradek、Ya'acov Peterzil、Frank Wagner。 准$O$-极小群。 手稿。 出现J.符号逻辑。 本尼迪克特 , 郭竹东 , 列奥尼德·利布金 、和 黄利顺（Limsoon Wong） , 约束查询语言的关系表达能力 、J.ACM 45 （1998），第1，1-34号。 先生 1616484 ，DOI 10.1145/273865.273870 M.Benedikt和L.Libkin。关于约束查询语言中查询的结构。 在 第11届IEEE计算机科学逻辑研讨会论文集 新泽西州新不伦瑞克，1996年。 M.Benedikt和L.Libkin。解释结构上的关系数据库语言。 在 第16届ACM数据库系统原理研讨会论文集 亚利桑那州图斯科，1996年6月。 E.Casanovas和M.Ziegler。 带有新谓词的稳定理论。 预打印。 张建中 和 H.J.凯斯勒 , 模型理论 第三版，《逻辑和数学基础研究》，第73卷，北霍兰德出版公司，阿姆斯特丹，1990年。 先生 1059055 阿努杰·达瓦尔 , 史蒂文·林德尔 、和 斯科特·温斯坦 , 一阶逻辑、定点逻辑和线性序 《计算机科学逻辑》（Paderborn，1995）《计算机课堂讲稿》。 科学。， 第1092卷，施普林格出版社，柏林，1996年，第161-177页。 先生 1461875 ，DOI 10.1007/3-540-61377-3_ {3}7 H.-D.Ebbinghaus和J.Flum。 有限模型理论 Springer-Verlag，1995年。 《流感杂志》。 逻辑特征。 在 《模型理论逻辑》，J.Barwise和S.Feferman编辑，第77-120页 斯普林格·弗拉格，1985年。 J.Flum和M.Ziegler。 伪有限元均匀性和饱和度。 预印本，1997年。 E.Grädel和Y.Gurevich。 亚有限模型理论。 在 逻辑与计算学报。 复杂性 ，LNCS第960卷，1994年，第313–366页。 S.Grumbach和J.Su.约束数据库上的一阶可定义性。 在 程序。 对施工图的确认。 程序“ 95 ，计算机讲义。 科学。， 976，Springer-Verlag，199，第121-136页。 劳里·海拉 , Phokion G.Kolaitis公司 、和 科科·洛斯托 , 有限模型理论中逻辑的几乎处处等价 ，公牛。 符号逻辑 2 （1996），第4期，第422-443页。 先生 1460316 ，DOI 10.2307/421173 威尔弗里德·霍奇斯 , 模型理论 《数学及其应用百科全书》，第42卷，剑桥大学出版社，剑桥，1993年。 先生 1221741 ，DOI 10.1017/CBO9780511551574 威尔弗里德·霍奇斯 和 阿南德·皮莱 , 结构的上同调与Ahlbrandt和Ziegler的一些问题 ，J.伦敦数学。 社会（2） 50 （1994），第1期，第1-16页。 先生 1277750 ，DOI 10.1112/jlms/50.1.1 理查德·哈尔 和 苏建文 , 领域独立性和关系演算 ，Acta Inform公司。 31 （1994），第6期，513–524。 先生 1300053 ，DOI 2007年10月10日/BF01213204 巴黎C.Kanellakis , 加布里埃尔·M·库珀 、和 彼得·雷维斯 , 约束查询语言 ，J.计算。 系统科学。 51 （1995），第1期，26-52。 第九届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会（田纳西州纳什维尔，1990年）。 先生 1347942 ，DOI 2006年10月10日/jcss.1995.1051 H.杰罗姆·凯斯勒 , 无限长公式的有限逼近 ，《模型理论》（Proc.1963 Internat.Sympos.Berkeley），北荷兰，阿姆斯特丹，1965年，第158–169页。 先生 0202602 H.杰罗姆·凯斯勒 , 措施和分叉 Ann.Pure应用。 逻辑 34 （1987），第2期，119–169。 先生 890599 ，DOI 10.1016/0168-0072(87)90069-8 桔梗宏高 和 Akito Tsuboi公司 , 关于还原属性 ，J.符号逻辑 59 （1994），第3期，900–911。 先生 1295977 ，DOI 10.2307/2275916 迈克尔·拉斯科夫斯基 , 可定义集的Vapnik-Chervonenkis类 ，J.伦敦数学。 社会（2） 45 （1992），第2期，377–384。 先生 1171563 ，DOI 10.1112/jlms/s2-45.2.377 杜加尔·麦克弗森 和 查尔斯·斯坦霍恩 , 关于o-极小的变体 Ann.Pure应用。 逻辑 79 （1996），第2期，165-209。 先生 1396850 ，DOI 10.1016/0168-0072(95)00037-2 大卫·马克 和 查尔斯·斯坦霍恩 , $\scr O$中的可定义类型-最小理论 ，J.符号逻辑 59 （1994），第1期，185-198。 先生 1264974 ，DOI 10.2307/2275260 马丁·奥托 和 简·范登·布什 , 嵌入无限结构中的数据库的一阶查询 ，通知。 过程。 莱特。 60 （1996），第1期，第37-41页。 先生 1420326 ，DOI 10.1016/S0020-0190（96）00140-8 Jan Paredaens公司 , 简·范登·巴斯彻（Jan Van den Bussche） 、和 德克·范·古赫特 , 实域上有限结构的一阶查询 ，SIAM J.计算。 27 （1998），编号6，1747-1763。 先生 1622649 ，DOI 10.1137/S0097539797629766 阿南德·皮莱 , 类型和O-最小结构对的可定义性 ，J.符号逻辑 59 （1994），第4期，1400-1409。 先生 1312317 ，DOI 10.2307/2275712 阿南德·皮莱 和 撒哈拉沙拉 , 谓词上的分类理论。 我 ，《圣母院J.形式逻辑》 26 （1985），第4期，361-376。 先生 799506 ，DOI 10.1305/ndjfl/1093870929 布鲁诺·波扎特 , 现代化课程 布鲁诺·波扎特，里昂，1985年（法语）。 这是一个逻辑数学时代的导论。 [当代数理逻辑导论]。 先生 817208 布鲁诺·波扎特 , 马厩结构对 ，J.符号逻辑 48 （1983），第2期，239–249页（法语）。 先生 704080 ，DOI 10.2307/2273543 撒哈拉沙拉 , 分类理论与非同构模型的数量 《逻辑与数学基础研究》，第92卷，北霍兰德出版公司，阿姆斯特丹-纽约，1978年。 先生 513226
其他信息
约翰·鲍德温 附属单位：伊利诺伊大学芝加哥分校数学、统计和计算机科学系，伊利诺伊州芝加哥60607 电子邮件： jbaldwin@math.uic.edu 本尼迪克特 附属公司：贝尔实验室，伊利诺伊州纳珀维尔E.Warrenville路1000号，邮编：60566 电子邮件： benedikt@research.bell-labs.com 编辑接收日期：1998年3月17日 电子出版：2000年7月21日 附加说明：DMS-9803496部分支持第一作者 ©版权所有2000 美国数学学会 日记账：事务处理。 阿默尔。 数学。 Soc公司。 352 (2000), 4937-4969 MSC（2000）：初级03C45； 次要68P15、03C40 内政部： https://doi.org/10.1090/S0002-9947-00-02672-6 MathSciNet评论： 1776884