{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,28]]，“日期-时间”：“2024-04-28T09:14:34Z”，“时间戳”：1714295674541}，“参考-计数”：28，“出版商”：“威利”，“问题”：“1”，“许可证”：[{“开始”:{“日期-零件”：[2003,16]]，”日期-时间“：”2003-01-16 T00:00:00Z“，”时间戳“：104267520000}，“content-version”：“vor”，“delay-in-days”：15，“URL”：“http://\\onlinelibrary.wiley.com/termsAndConditions#vor”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“数学逻辑Qtrly”]，“published-print”：{“date-parts”：[[2003,1]}，”abstract“：”摘要<\/jats:title>我们研究了欧氏空间子集的可判定性（递归性）的概念k在近似可计算性框架内（有效性的第二类理论）。提出了近似可判定性的新概念，并进行了详细讨论。它是F.Hausdorff可解集概念的一个有效变体，它修改并推广了可计算分析中已知的递归性概念，以前仅用于开集或闭集，使其成为更一般的集类型。集合的近似可判定性可以等价地表示为特征函数的可计算性，方法是使用适当的预言机图灵机。这个概念满足了一些自然要求，并且在集的规范嵌入到高维空间中时是遗传的。然而，它在集的二进制并集或交集下是不封闭的。我们还展示了如何应用可解性和近似可判定性框架来研究欧氏空间子集的可约性概念<\/jats:p>“，”DOI“：”10.1002\/malq.200310003“，”type“：”journal-article“，”created“：{”date-parts“：[[2003,17]]，”date-time“：”2003-01-17T16:43:11Z“，”timestamp“：1042821791000}，”page“：“，”author“：[{”given“：”Armin“，”family“：”Hemmerling“，”sequence“：”first“，”affiliation“：[]}]，”member“：”311“，”published-online“：{”date-parts“：[[2003,16]]}，”reference“：[{”key“：”e_1_1_2_2“，”doi-asserted-by“：“publisher”，“doi”：“10.1090\/S0273-0979-1989-15750-9”}，{“key”：“e_2_3_2”，“doi-assert-by”：“crossref”，”非结构化“：”L.Blum F.Cucker M.Shub和S。Smale复杂性与实际计算（Springer\u2010Verlag New York 1998）。“，”DOI“：”10.1007\/978-1-4612-0701-6“}，{“key”：“e_1_2_1_4_2”，“unstructured”：“V.Brattka皇帝的新递归性：两种可计算性模型中指数函数的铭文。in:Words Languages and Combinatorics III River Edge（Masami Ito and Teruo Imaoka eds.）。ICWLC 2000，日本京都，2010年3月14日\u201018，2000年。世界科学出版社（即将出版）。“}，{”key“：”e_1_1_5_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0304-3975（98）00284-9“}”，{“key”：“e_2_1_6_2”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/S0034-3975（98）0.0288-6”}，“key“:”e_2_i_7_2“，218750“}，{“key”：“e_1_2_1_8_2”，“非结构化”：“F.Hausdorff Mengenlehre（W.de Gruyter&Co。柏林和莱比锡，1927年）。“}，{”key“：”e_1_1_9_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0304-3975（98）00289-8“}”，{“key”：“e_2_1_10_2”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/S0304-3 975（01）00093-7”}，“key“:”e_2_cu11_2“，“unstructured”：”P.赫特林在有效性分析中的非竞争性交易。论文。Informatik \u2013Berichte 208 1996年11月。弗恩努瓦西特\u00e4t Hagen。“}，{”key“：”e_1_1_12_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1006\/jcom.1996.0021“}”，{“key”：“e_2_1_13_2”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/S0304-3975（98）00290-4”}，“{”密钥“：”e_1_14_2“，“unstructured”：“P.HertlingandK.Weihrauch几何算法的简并水平和精确的复杂度下限。第六届加拿大会议。计算几何Saskatoon 1994，第237\u2013 242页。“}，{“key”：“e_1_1_15_2”，“unstructured”：“Ker\u2010IKo实函数复杂性理论（Birkh\u00e4user Boston et al.1991）。”}，“key“：”e_1_i_16_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0304-3975（82）80003-0“，”doi“：”10.1007 \/BFb0009642“}，{“key”：“e_1_1_18_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（85）90208-7”}，}，“key“：”e_2_1_19_2“，”unstructured“：”K.Kuratowski Topology I（纽约和伦敦学术出版社；PWNWarszawa 1966）。“}P.Odifreddi经典递归理论（North\u2010Holl and Publ.Comp.Amsterdam et al.1989）。“}，{”key“：”e_1_1_21_2“，”doi-asserted-by“：”crossref“，”unstructured“：”R.Penrose The Emporer’s New Mind（牛津大学出版社，纽约，1989）。“，”doi“：”10.1093\/oso\/9780198519737.001.0001“}”，{。B.Pour\u2010ElandJ公司。I.《分析和物理中的理查兹可计算性》（Springer\u2010Verlag-Berlin et al.1989）。“，”DOI“：”10.1007\/978-3662-21717-7“}，{”key“：”e_1_1_23_2“，”unstructured“：”H.RogersJr.递归函数和有效计算性理论（McGraw\u2010Hill New York 1967）。“}：“crossref”，“非结构化”：“K.Weihrauch可计算性（Springer\u2010Verlag Berlin等人，1987）。“，”DOI“：”10.1007\/978-3642-69965-8“}，{”key“：”e_1_1_26_2“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1016\/0304-3975（93）90001-A”}，“{”key“：“e_1_i_1_27_2”，“DOI-assert-by”：“crossref”，“unstructured”：“K.Weihrauch Computable Analysis（Springer\u2010Verlag-Berlin et al.2000）”，“DOI”：“10.1007\/978-3-642-5”6999-9“}，{”键“：”e_1_1_28_2“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1016\/S0304-3975（97）00008-X“}，{“key”：“e_1_1_29_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1002\/malq.19960420132”}]，“container-title”：[“Mathematical Logic Quarterly”]，“original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\\/api.wiley.com\/onlinelibrary\/tdm\/v1 \/articles \/10.1002%2Fmalq.20031003“，”内容类型“：”unspecified“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/onlinelibrary.wiley.com/doi\/pdf\/10.1002\/malq.200310003”，“content-type”：“unspecinted”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,10,18]]，“date-time”：”2023-10-18T13:39:31Z“，”timestamp“：1697636371000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/onlinelibrary.wiley.com/doi\/10002\/malq.200310003“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2003,1]]}，《references-count》：28，“journal-issue”：{-“issue”：“1”，“published-print”：{:“date-ports”：[2003年3月1日1]]}}，“alternative-id”：[“10.1002\/malq.200310003”]，“URL”：“http:\/\/dx.doi.org\/10.1002\/malq.200310003“，”存档“：[”门户“]，”关系“：{}，”ISSN“：[“0942-5616”，“1521-3870”]，”ISSN-type“：[{”值“：”0942-561“，”类型“：”打印“}，{”value“：”1521-3890“，”type“:”电子“}]，”主题“：[]，”发布“：{”日期段“：[[2003,1]]}}}