×
亚历山大·梅尔尼科夫。;Ng，Keng Meng女士

连续函数空间上的可计算结构和运算。 （英语） Zbl 1393.03025号

芬丹。数学。 233，编号2101-141（2016）.
摘要：我们利用有效代数的思想和机制来研究单位区间上连续函数空间（C[0,1]\）上的可计算结构。我们证明了\（（C[0,1]，\sup）\）具有无限多的可计算结构，这些结构在可计算等距之前是不等价的。我们还研究了在（C[0,1]\）上的每个可计算结构中，对\（C[0.1]\）的通常操作是否一定是可计算的。在其他结果中，我们证明了在\（C[0,1]\）上存在一个可计算结构，它计算\（+）和标量乘法，但不计算函数的逐点乘法运算。另一个意外的结果是，存在多个可计算结构，使得（C[0,1]\）成为可计算的巴拿赫代数。我们的所有结果都对研究各种常用签名中\（C[0,1]\）上可计算结构的数量具有启示。

引用于13文件

MSC公司：

03D45号 计算理论，有效呈现结构
03C57号 可计算结构理论
03天80 可计算性和递归理论的应用

关键词：

连续函数;有效分类;有效巴拿赫空间
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Melnikov}和\textit{K.M.Ng}，Fundam。数学。233、2号、101--141（2016；Zbl 1393.03025）
全文： 内政部 链接

参考文献：

[1] [1] M.Ajitai和A.S.Kechris，具有处处收敛傅立叶级数的连续函数集，Trans。阿默尔。数学。Soc.302（1987），207–221·Zbl 0633.04004号
[2] [2] C.J.Ash和J.Knight，《可计算结构和超算术层次》，《发现逻辑研究》。数学。144，荷兰北部，阿姆斯特丹，2000年·兹伯利0960.03001
[3] [3] L.Bienvenu，R.H“olzl，J.S.Miller，A.Nies，Denjoy，Demuth and density，J.Math。《逻辑》14（2014），1450004，35页。
[4] [4] V.Brattka、P.Hertling和K.Weihrauch，《可计算分析教程》，收录于：新计算范式，Springer，纽约，2008年，第425–491页·Zbl 1145.03037号
[5] [5] V.Brattka、J.S.Miller和A.Nies，《随机性和可微性》，arXiv:1104。4465 (2014).
[6] [6] V.Brattka和A.Yoshikawa，变分公式中椭圆边值问题的可计算性，J.Complexity 22（2006），858-880·Zbl 1126.03052号
[7] [7] G.Cherlin，《连续函数环：决策问题》，收录于：代数和算术模型理论（Karpacz，1979），数学课堂讲稿。834，柏林施普林格，1980年，44-91。
[8] [8] N.Dunford和J.T.Schwartz，线性算子。第一部分：《通论》，威利经典图书馆，威利，纽约，1988年。
[9] [9] 于。L.Ershov，《数值理论》，收录于：《可计算性理论手册》，《发现逻辑研究》。数学。140，北荷兰，阿姆斯特丹，1999年，473–503。
[10] [10] 于。L.Ershov和S.S.Goncharov，《构造模型》，西伯利亚代数和逻辑学院，顾问局，纽约，2000年。
[11] [11] S.S.Goncharov，模型和阿贝尔群的自稳定性，代数i Logika 19（1980），23–44，132（俄语）。140安。G.Melnikov和K.M.Ng·Zbl 0468.03022号
[12] [12] S.S.Goncharov，《非自等价构造数问题》，《Logika代数》19（1980），第6期，621–639，745页（俄语）·Zbl 0476.03045号
[13] [13] S.S.Goncharov，《可数布尔代数与可判定性》，西伯利亚代数与逻辑学院，顾问局，纽约，1997年。
[14] [14] P.Hertling，一个有效分类的实数结构，数学。逻辑夸脱。45 (1999), 147–182. ·Zbl 0946.03050号
[15] [15] D.R.Hirschfeldt，存在2个同构时可计算结构的关系度谱，《符号逻辑杂志》67（2002），697–720·Zbl 1010.03033号
[16] [16] D.R.Hirschfeldt、B.Khousainov、R.A.Shore和A.M.Slinko，代数结构中的度谱和可计算维数，Ann.Pure Appl。逻辑115（2002），71–113·Zbl 1016.03034号
[17] [17] Z.Iljazovi’c，异构体和可计算结构，通用计算机科学杂志。16 (2010), 2569–2596. ·Zbl 1219.03042号
[18] [18] A.S.Kechris和W.H.Woodin，《可微函数的秩》，Mathematika 33（1986），252–278（1987）·Zbl 0618.03024号
[19] [19] H.Ki，Kechris–Woodin等级比Zalcwasser等级好，Trans。阿默尔。数学。Soc.347（1995），4471–4484·Zbl 0845.04004号
[20] [20] H.Ki，《登霍伊军衔》、《凯克里斯·伍丁军衔》和《扎尔科瓦瑟军衔》，Trans。阿默尔。数学。Soc.349（1997），2845-2870·Zbl 0871.04002号
[21] [21]A.I.Mal'tsev，关于递归Abelian群，Dokl。阿卡德。Nauk SSSR 146（1962），1009–1012。
[22] [22]S.Mazurkiewicz，“优步（Uber die Menge der differenzierbaren Funktitonen），基金。数学。27 (1936), 244–249.
[23] [23]A.G.Melnikov，可计算等距空间，J.符号逻辑78（2013），1055-1085·Zbl 1332.03008号
[24] [24]J.Myhill，一个递归函数，定义在紧区间上，具有非递归的连续导数，Michigan Math。J.18（1971年），97–98·Zbl 0218.02029号
[25] [25]A.Nies，可计算性和随机性的相互作用，在：Proc。国际数学家大会，第二卷，印度斯坦图书局，新德里，2010年，30-57。
[26] [26]M.B.Pour-El和J.I.Richards，分析和物理中的可计算性，透视。数学。《逻辑》，施普林格出版社，柏林，1989年。
[27] [27]M.B.Pour-El和I.Richards，经典分析中的可计算性和不可争论性，Trans。阿默尔。数学。Soc.275（1983），539–560。
[28] [28]M.O.Rabin，可计算代数，可计算域的一般理论和理论，Trans。阿默尔。数学。Soc.95（1960），341-360·Zbl 0156.01201号
[29] [29]J.B.Remmel，递归分类线性排序，Proc。阿默尔。数学。Soc.83（1981），387-391·Zbl 0493.03022号
[30] [30]W.Sierpi’nski，一般拓扑，数学。《第七届博览会》，多伦多大学出版社，多伦多，1952年。
[31] [31]R.L.Smith，关于p-群自稳定性的两个定理，收录于：逻辑年1979-80，数学讲义。柏林施普林格859号，1981年，302-311。
[32] [32]A.M.Turing，《关于可计算数字，以及对Entscheidungsproblem的应用》，Proc。伦敦数学。《社会学杂志》第42卷（1936年），第230–265页。
[33] [33]A.M.图灵，关于可计算数，及其在Entscheidungs问题上的应用。修正，程序。伦敦数学。《社会学杂志》第43卷（1937年），第544-546页·Zbl 0018.19304号
[34] [34]K.Weihrauch，可计算分析。引言，文本理论。计算机科学。EATCS系列。，施普林格，柏林，2000年。连续函数上的可计算结构141·Zbl 0956.68056号
[35] [35]L.B.Westrick，《光面可微性等级》即将出版·Zbl 1338.03089号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。