×
茨万科伊尔贾佐维奇;马蒂亚·杰利奇

具有可计算端点的可链接连续统的可计算近似。 （英语） Zbl 07790936号

架构（architecture）。数学。逻辑 63，编号1-2，181-201（2024）.
小结：已知在可计算拓扑空间中的半可计算连续体（S）在可链接和可分解的条件下，可以用任意给定精度的可计算子连续体来近似。本文证明了可分解性可以替换为假设（S）可以从（a）链接到（b），其中（a）是一个可计算点。

MSC公司：

03D78号 实数计算，可计算分析
03层60 构造性和递归分析

关键词：

可计算拓扑空间;可计算集合;半可计算集;可链式连续体
PDF格式BibTeX公司 XML格式引用
\textit{Z.Iljazović}和\textit{M.Jelić}.建筑。数学。逻辑63，编号1--2，181--201（2024；Zbl 07790936）
全文： 内政部

参考文献：

[1] 斯派克，E。；Heyting，A.，Der satz vom maximum in Der rekursiven analysis，数学建构性，254-265（1959），阿姆斯特丹：北荷兰出版社。公司。，阿姆斯特丹·Zbl 0088.01702号
[2] Miller，JS，嵌入式球体和球体的有效性，Electr。注释理论计算。科学。，66, 127-138 (2002) ·Zbl 1261.03167号 ·doi:10.1016/S1571-0661（04）80384-0
[3] Iljazović，Z.，Co-c.e.可计算度量空间中的球体和单元，Log。方法计算。科学。，7, 3-5, 1-21 (2011) ·Zbl 1237.03029号
[4] Iljazović，Z.，具有可计算边界的紧致流形，对数。方法计算。科学。，9, 4-19, 1-22 (2013) ·Zbl 1315.03119号
[5] 伊尔贾佐维奇，Z。；Sušić，i.，可计算拓扑空间中的半可计算流形，J.Complex。，45, 83-114 (2018) ·Zbl 1437.03137号 ·doi:10.1016/j.jco.2017.11.004
[6] Burnik，K。；Iljazović，Z.，1-流形的可计算性，Log。方法计算。科学。，10, 2-8, 1-28 (2014) ·Zbl 1315.03118号
[7] Brattka，V.，可绘制实数函数和可计算图形定理，SIAM J.Compute。，38, 1, 303-328 (2008) ·Zbl 1165.03052号 ·doi:10.1137/060658023
[8] 伊尔贾佐维奇，Z。；Paíek，B.，带不连通补语的Co-c.e.集，理论计算。系统。，62, 5, 1109-1124 (2018) ·Zbl 1436.03231号 ·doi:10.1007/s00224-017-9781-x
[9] 乔拉尔，M。；Iljazović，Z.，可链式连续统乘积的可计算性，理论计算。系统。，65, 410-427 (2021) ·Zbl 07363127号 ·doi:10.1007/s00224-020-10017-6
[10] 乔拉尔，M。；Iljazović，Z.，胶合流形的可计算性，J.Log。计算。，32, 1, 65-97 (2022) ·Zbl 07471450号 ·doi:10.1093/log.com/exab063
[11] Iljazović，Z.，图的可计算性，数学。日志。Q.，66，1，51-64（2020）·Zbl 1521.03132号 ·doi:10.1002/malq.201900025
[12] Amir，D.E.，Hoyrup，M.：有限单形复形的可计算性。收录于：Bojañczyk，M.等人，（编辑），第49届国际自动化、语言和编程学术讨论会（ICALP 2022），第111:1-16页。Dagstuhl-Leibniz-Zentrum für Informatik学校，Dagstull出版社，德国，（2022）
[13] Kihara，T.，单连通平面连续体的不可辩驳性，可计算性，1，2131-152（2012）·Zbl 1277.03044号 ·doi:10.3233/COM-12012
[14] Tanaka，H.，《关于正测度的（Pi_1^0）集》，名古屋数学。J.，38，139-144（1970）·Zbl 0218.02040号 ·doi:10.1017/S002776300013581
[15] Hertling，P.，Mandelbrot集可计算吗？，数学。日志。Q.，51，5-18（2005）·Zbl 1065.03045号 ·doi:10.1002/malq.200310124
[16] Iljazović，Z.，可计算度量空间中的可链和循环可链co-c.e.集，J.Univ.Comput。科学。，15, 6, 1206-1235 (2009) ·Zbl 1201.03033号
[17] 伊尔贾佐维奇，Z。；Paíek，B.，可计算交点，可计算性，7，57-99（2018）·Zbl 1441.03033号 ·doi:10.3233/COM-170079
[18] 乔奇奇，V。；霍瓦特，M。；Iljazović，Z.，半可计算链式hausdorff continua的可计算次inua，Theoret。计算。科学。，892, 155-169 (2021) ·Zbl 07412758号 ·doi:10.1016/j.tcs.2021.09.018
[19] Nadler，SB，Continuum Theory（1992），纽约：Marcel Dekker Inc.，纽约·Zbl 0757.54009号
[20] Pour-El，MB；JI理查兹，《分析与物理中的可计算性》（1989），柏林：施普林格出版社，柏林·Zbl 0678.03027号 ·doi:10.1007/978-3-662-21717-7
[21] Weihrauch，K.，《可计算分析》（2000），柏林：施普林格出版社，柏林·Zbl 0956.68056号 ·doi:10.1007/978-3-642-566999-9
[22] 图灵，AM，关于可计算数字，以及对entscheidungsproblem的应用，Proc。伦敦数学。《社会学》，42，230-265（1936）·Zbl 0016.09701号
[23] Weihrauch，K.，可计算度量空间上的可计算性，Theoret。计算。科学。，113, 191-210 (1993) ·Zbl 0783.03023号 ·doi:10.1016/0304-3975（93）90001-A
[24] 布拉特卡，V。；Weihrauch，K.，欧氏空间子集的可计算性I：闭紧子集，定理。计算。科学。，219, 65-93 (1999) ·Zbl 0916.68042号 ·doi:10.1016/S0304-3975（98）00284-9
[25] 布拉特卡，V。；Presser，G.，度量空间子集的可计算性，理论。计算。科学。，305, 43-76 (2003) ·Zbl 1071.03027号 ·doi:10.1016/S0304-3975（02）00693-X
[26] Weihrauch，K.，《拓扑中的可计算分离，从（T_0）到（T_2）》，J.Univ.Comput。科学。，16, 18, 2733-2753 (2010) ·Zbl 1219.03043号
[27] Weihrauch，K。；Grubba，T.，《基本可计算拓扑》，J.大学计算。科学。，15, 6, 1381-1422 (2009) ·Zbl 1201.03039号
[28] 契科维奇，E。；伊尔贾佐维奇，Z。；Validžić，L.，可计算拓扑空间中的可链和循环可链半可计算集，Arch。数学。逻辑，58885-897（2019）·Zbl 1468.03052号 ·文件编号：10.1007/s00153-019-00667-w
[29] 科罗拉多州克里斯滕森；沃克斯曼，WL，《拓扑方面》（1977），纽约：马塞尔·德克尔公司，纽约·Zbl 0347.54001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。