×
Phokion G.科莱蒂斯。;莫舍·瓦尔迪。

无穷逻辑和0-1定律。 （英语） Zbl 0762.03016号

Inf.计算。 98，第258-294号（1992年）.
摘要：我们研究了无限逻辑（L^\omega_{\infty\omega}），其中的句子可以有任意的析取和连词，但它们只涉及有限个不同变量。我们证明了各种不动点逻辑可以看作是（L^\omega_{\infty\omega}）的片段，并且我们描述了逻辑表达能力的游戏理论表征。最后，我们研究了有限结构上（L^\omega_{infty\omega}）中可表示性质的渐近概率。我们证明了0-1定律适用于（L^\omega_{\infty\omega}），即该逻辑中每个句子的渐近概率都存在并且等于0或1。这个结果包含了早期关于各种不动点逻辑的渐近概率的工作，并揭示了无穷逻辑0-1定律的边界。

引用于1审查
引用于49文件

MSC公司：

03C75号 其他无穷逻辑
03立方厘米13 有限结构模型理论

关键词：

定点逻辑;表达能力
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Kolaitis}和\textit{M.Y.Vardi}，Inf.Compute。98，第2号，258--294（1992；Zbl 0762.03016）
全文： 内政部

参考文献：

[1] Ajtai，M.，有限结构上的（∑_1^1）公式，Ann.Pure Appl。逻辑，24，1（1983）·Zbl 0519.03021号
[2] Aho，A.V。；Ullman，J.D.，数据检索语言的普遍性，（第六届美国计算机学会编程语言原理研讨会论文集（1979）），110-117
[3] 阿比特布尔，S。；维亚努，V.，《一阶逻辑和类数据语言的定点扩展》（1989年IEEE第四届计算机科学逻辑研讨会论文集），71-79·Zbl 0716.68020号
[4] 阿比特布尔，S。；Vianu，V.，《泛型计算及其复杂性》（Proceedings，第23届ACM计算理论研讨会（1991）），209-219
[5] Barwise，J.，《论莫斯科瓦基斯闭包序数》，J.符号逻辑，42，292（1977）·Zbl 0367.02021号
[6] （Barwise，J.；Feferman，S.，《模型理论逻辑》（1985），Springer-Verlag:Springer-Verlag Berlin/纽约）·Zbl 0587.0302号
[7] 布拉斯，A。；古雷维奇，Y。；Kozen，D.，带定点运算符的逻辑零定律，Inform。控制。，67, 70 (1985) ·Zbl 0608.68077号
[8] 布拉斯，A。；Harary，F.，几乎所有图和复数的性质，J.图论，3225（1979）·Zbl 0418.05050号
[9] Bollobas，B.（图论（1979），Springer-Verlag:Springer-Verlag Berlin/纽约）·兹伯利0411.05032
[10] Bollobas，B.（随机图（1985），学术出版社：圣地亚哥学术出版社）·Zbl 0567.05042号
[11] 蔡，J。；Fürer，M。；Immerman，N.，图识别变量数量的最优下界，（第30届IEEE计算机科学基础研讨会论文集（1989）），612-617
[12] Chandra，A。；Harel，D.，《关系查询的结构和复杂性》，J.Compute。系统科学。，25, 99 (1982) ·Zbl 0511.68073号
[13] Chandra，A.，数据库查询理论，（第七届ACM数据库系统原理研讨会论文集（1988）），1-9
[14] 康普顿，K.J.，《逻辑和组合学中的0-1定律》（Rival，I.，北约算法与秩序高级研究所（1988），雷德尔：雷德尔-多德雷赫特），353-383·Zbl 1261.06005号
[15] 康普顿，K.J.，渐近问题的计算复杂性。I.部分订单，通知。和计算。，78, 108 (1988) ·Zbl 0665.03028号
[16] Cook，S.A.，《时间-存储权衡观察》，J.Compute。系统科学。，9, 308 (1974) ·Zbl 0306.68026号
[17] de Rougemont，M.，有限结构的二阶和归纳可定义性，Z.数学。Logik Grundlag公司。数学。，33, 47 (1987) ·兹伯利0652.03032
[18] Engeler，E.，《同构可数模型理论的表征》，Notices Amer。数学。Soc.，6161（1959年）
[19] Erdös，P。；Rényi，A.，关于随机图的演化，Publ。数学。Inst.Hungar公司。阿卡德。科学。，7, 17 (1960) ·Zbl 0103.16301号
[20] 费金，R.，一元广义谱，Z.数学。Logik，21，89（1975）·Zbl 0317.02054号
[21] 费金，R.，有限模型上的概率，J.符号逻辑，41，50（1976）·Zbl 0341.02044号
[22] Fraissé，R.，《关系系统分类》，Publ。科学。阿尔及利亚大学。Sér。A、 1、35（1954年）·Zbl 0068.24302号
[23] Gaifman，H.，《关于一阶计算中的措施》，以色列J.Math。，2, 1 (1964) ·兹比尔0192.03302
[24] Gaifman，H.，《关于本地和非本地属性》，（Stern，J.，《81年逻辑学术讨论会》（1982），北荷兰：北荷兰阿姆斯特丹），105-135·Zbl 0518.03008号
[25] Glebskii，Y.V。；科根，D.I。；马里兰州里奥贡基。；Talanov，V.A.，限制谓词演算中公式的可实现范围和程度，控制论，5142（1969）
[26] Grandjean，E.，几乎所有结构的一阶理论的复杂性，Inform。控制。，52, 180 (1983) ·Zbl 0542.03018号
[27] Gurevich，Y.，《面向为计算复杂性量身定做的逻辑》（Richter，M.M.等，《计算和证明理论》，《计算与证明理论》数学课堂讲稿，第1104卷（1984年），Springer-Verlag:Springer-Verlag Berlin/纽约），175-216·Zbl 0622.03030号
[28] 古雷维奇，Y。；Shelah，S.，一阶逻辑的定点扩展，Ann.Pure Appl。逻辑，32，265（1986）·Zbl 0621.03013号
[29] Immerman，N.，一阶可表达性的上下限，J.Compute。系统科学。，25, 76 (1982) ·Zbl 0503.68032号
[30] Immerman，N.，可在多项式时间内计算的关系查询，Inform。控制。，68, 86 (1986) ·Zbl 0612.68086号
[31] Immerman，N。；Kozen，D.，有界变量数的可定义性，Inform。和计算，83，121（1989）·Zbl 0711.03004号
[32] Karp，C.，《有限量词等价》（Henkin，L.；Addison，J.；Tarski，A.，《模型理论》（1965年），北荷兰：北荷兰阿姆斯特丹），407-412·Zbl 0253.02052号
[33] Kaufmann，M.（存在一元二阶逻辑0-1定律反例（1987），计算逻辑公司），CLI内部注释32
[34] 考夫曼，M。；Shelah，S.，《有限幂和一元逻辑的随机模型》，《离散数学》。，54, 285 (1985) ·Zbl 0579.03006号
[35] Knyazev，V.V.，一阶逻辑的迭代扩展，数学。探针。网络。，123 (1989) ·Zbl 0717.03009号
[36] Kolaitis，Ph.G.，《归纳查询及其决策问题的渐近概率》，（Parikh，R.，《程序逻辑》85。程序逻辑’85，计算机科学讲义，第193卷（1985），Springer-Verlag:Springer-Verlag柏林/纽约），153-166·Zbl 0608.68078号
[37] Kolaitis博士。；普雷梅尔，H.J。；Rothschild，B.L.，\（K_｛L+1｝\）-自由图：渐近结构和0-1定律，Trans。阿默尔。数学。Soc.，303，637（1987）·Zbl 0641.05025号
[38] Kolaitis博士。；Vardi，M.Y.，高阶属性概率的决策问题，（第19届ACM计算理论研讨会论文集（1987）），425-435
[39] Kolaitis博士。；Vardi，M.Y.，《二阶逻辑片段的0-1定律：概述》，（Moschovakis，Y.N.，《计算机科学逻辑研究所会议录》（1989），伯克利·Zbl 0754.03023号
[40] Kolaitis博士。；Vardi，M.Y.，二阶逻辑片段的0-1定律和决策问题，Inform。和计算。，87, 302 (1990) ·Zbl 0708.03004号
[41] Kolaitis博士。；Vardi，M.Y.，《关于数据日志的表达能力：工具和案例研究》（Proceedings，9th ACM Symposium On Principles of Database Systems（1990）），61-71，[完整版本出现在IBM Research Report RJ8010中，1991年3月]
[42] Lakshmanan，V.S。；Mendelzon，A.O.，《归纳卵石游戏和DATALOG的表达能力》（第八届ACM数据库系统原理研讨会论文集，1989年），301-310
[43] 林奇，J.F.，《几乎肯定的理论》，《数学年鉴》。逻辑，18，91（1980）·Zbl 0433.03020号
[44] Moschovakis，Y.N.（抽象结构的基本归纳法（1974），北荷兰：北荷兰阿姆斯特丹）·Zbl 0307.02003年
[45] 帕霍尔斯基，L。；Szwast，W.，0-1定律不适用于具有等式的存在二阶哥德尔句子类，（第30届IEEE计算机科学基础研讨会论文集（1989）），280-285
[46] 帕霍尔斯基，L。；Szwast，W.，关于具有等式的存在二阶极小Gödel句的0-1定律，（第六届IEEE计算机科学逻辑研讨会论文集（1991）），280-285
[47] Pósa，L.，随机图中的哈密顿回路，离散数学。，14, 359 (1976) ·Zbl 0322.05127号
[48] Ryll-Nardzewski，C.，《论权力的分类》\(ℵ_0\），牛市。阿卡德。波隆。科学。Sér。科学。数学。阿童木。物理。，7, 239 (1959)
[49] Rubin，A.（加利福尼亚理工学院博士论文（1975））
[50] Spencer，J.，通过Ehrenfeucht游戏的阈值谱，离散应用。数学。，30, 235 (1991) ·Zbl 0722.90095号
[51] 斯宾塞，J。；Shelah，S.，稀疏随机图的零一定律，J.Amer。数学。Soc.，197（1988年）·Zbl 0647.05051号
[52] Svenonius，L.等人\(ℵ_一阶谓词演算中的0）-范畴性，理论，25，82（1959）
[53] Talanov，V.A.，逻辑公式的渐近可解性，（应用数学中的组合代数方法（1981）），118-126·兹比尔0538.03008
[54] 塔拉诺夫，V.A。；Knyazev，V.V.，《无限公式的渐近真理》，（离散与应用数学及其应用全联合研讨会论文集（1986年），56-61
[55] Tarski，A.，《格理论不动点定理及其应用》，太平洋数学杂志。，5, 285 (1955) ·Zbl 0064.26004号
[56] Vardi，M.Y.，关系查询语言的复杂性，（第14届ACM计算理论研讨会论文集（1982）），137-146
[57] Vaught，R.，《完备理论的可数模型》（Infinitistic Methods，1961），佩加蒙：佩加蒙·埃尔姆斯福德，新墨西哥州），303-321·Zbl 0113.24302号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。