×
谢丽尔·西里波夫斯基·布雷迪;杰弗里·雷梅尔（Jeffrey B.Remmel）。

有效拓扑空间的r.e.闭子集的格的不可判定性。 （英语） Zbl 0637.03041号

Ann.纯粹应用。逻辑 35, 193-203 (1987).
有效拓扑空间的r.e.开子集（因此也包括r.e.闭子集）的格的一阶理论被证明是不可判定的。该证明使用了r.e.集格理论的一个约简。对于欧几里德n空间的特殊情况，借助于两个约简链，提供了一个更直接的证明，其中最基本的是来自对称、非自反二元关系理论的证明。
审核人：M.Zimand先生

MSC公司：

03D45号 计算理论，有效呈现结构
03天35分 成套句子的不可解释性和程度

关键词：

有效拓扑空间
PDF格式BibTeX公司 XML格式引用
\textit{S.Silibovsky Brady}和\textit{J.B.Remmel}，Ann.Pure Appl。逻辑35193-203（1987年；Zbl 0637.03041）
全文： DOI程序

参考文献：

[1] 卡罗尔，递归理论中格的一些不可判定性结果，太平洋数学杂志。，出现。；卡罗尔，递归理论中格的一些不可判定性结果，太平洋数学杂志。，出现·Zbl 0558.03021号
[2] R.Downey，（LF_∞）的不确定性；R.Downey，（LF_∞）的不确定性·兹伯利0604.03014
[3] Ershov，Y.L。；拉夫罗夫，I.A。；Taimanov，A.D。；Taitslin，文学硕士，基础理论，俄罗斯数学。调查，20，35-105（1965）·Zbl 0199.03001号
[4] Grzegorczyk，A.，一些拓扑理论的不确定性，基金。数学。，38, 137-152 (1951) ·Zbl 0045.00301号
[5] 哈林顿，L.，递归可数集格的不可判定性（1982），手稿·Zbl 0518.03016号
[6] 亨森，C.W。；乔库什，C.G。；卢贝尔，洛杉矶。；Takeuti，G.，一阶拓扑，数学论文。，143, 5-40 (1977) ·Zbl 0399.03019号
[7] E.赫尔曼，轨道（∑_3^0）；E.赫尔曼，（∑_3^0）的轨道
[8] 霍金，J.G。；Young，G.S.，《拓扑学》（1961），艾迪森·韦斯利：马萨诸塞州艾迪森·韦斯利雷丁·Zbl 0135.22701号
[9] Kalantari，I.，有效拓扑中的主要子集，（Metakides，G.，Patras Logic专题讨论会（1982），北荷兰：北荷兰阿姆斯特丹），77-94·Zbl 0521.03029号
[10] 卡兰塔里，I。；Leggett，A.，《有效拓扑中的简单性》，J.符号逻辑，47，1，169-183（1982）·Zbl 0516.03023号
[11] 卡兰塔利，I。；Retzlaff，A.，拓扑空间中的递归结构，J.符号逻辑，44，4，609-625（1979）·Zbl 0427.03035号
[12] 拉夫罗夫，I.A.，某些初等理论的恒真公式集和有限可反驳公式集的有效不可分性，（代数与逻辑学研讨会，2（1963）），5-18，（1）·Zbl 0199.03201
[13] Metakides，G。；Nerode，A.，递归理论与代数，（代数与逻辑，代数与逻辑，数学讲义，450（1975），施普林格：施普林格柏林），209-219·Zbl 0306.02038号
[14] Nerode，A。；Manastar，A.，RET的通用嵌入属性，J.符号逻辑，35，1，51-59（1970）·兹比尔0198.02504
[15] Nerode，A。；Remmel，J.，《r.e.子结构格的综述》，（Nerode，A.；Shore，r.，《递归理论》，《程序交响乐.纯数学A.M.S.》，42（1984）），323-376·Zbl 0573.03015号
[16] Nerode，A。；Shore，R.，可约序的二阶逻辑和一阶理论，（Barwise，J.；Keisler，H.J.；Kunen，K.，Kleene Symposium（1980），北荷兰：北荷兰阿姆斯特丹），181-200·Zbl 0465.03024号
[17] Nerode，A。；Smith，R.，递归可枚举子空间的格的不可判定性，（Arruda，A.I.；da Costa，N.C.A.；Sette，A.M.，递归可枚举子空间格的不确定性。递归可枚举的子空间的格子的不可确定性，巴西第三届数学逻辑会议（1980年），巴西科学院），245-252·Zbl 0451.03014号
[18] Rabin，M.，《不可判定性证明的简单方法和一些应用》（Bar-Hillel，Y.，《逻辑、方法论和科学哲学》，1964年国际大会（1965年），北荷兰人：北荷兰阿姆斯特丹），58-68·Zbl 0192.05502号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。