｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2023,11,16]]，“date time”：“2023-11-16T23:40:14Z”，“timestamp”：1700178014082｝，“reference count”：17，“publisher”：“Wiley”，“issue”：“5”，“license”：[｛“start”：｛“date parts”：[[2003,7,3]]，“date time”：“2003-07-03T00:00:00Z”，“timestamp”：1057190400000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://\/onlinelibrary.wiley.com/termsAndConditions#vor”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“数学逻辑Qtrly”]，“published-print”：{“date-parts”：[[2003,9]}，”abstract“：”摘要<\/jats:title>Peter Aczel在构造Zermelo\u2010Fraenkel集理论的背景下首次将正则扩张公理REA视为确保许多归纳定义集存在的公理。REA有几个天然变体。在本文中，我们从经典集合论和构造集合论的角度收集了关于这些变量的元数学结果<\/jats:p>“，”DOI“：”10.1002\/malq.200310054“，”type“：”journal-article“，”created“：{”date-parts“：[[2003,7,3]]，”date-time“：”2003-07-03T16:03:31Z“，”timestamp“：1057248211000}，”page“：“49”，“作者”：[{“给定”：Michael“，”family“：”Rathjen“，”sequence“：”first“，”affiliation“：[]}，”{“given”：“Robert S.”，“family”：“Lubarsky”，“sequence”：“additional”，“affiliation:[]}]，“member”：“311”，“published-online”：{“date-parts”：[[2003,7,3]]]}、“reference”：[{“key”：P.Aczel构造集理论的类型理论解释。摘自：77年逻辑学术讨论会（A.MacIntyre L.Pacholski和J.Paris编辑），第55\u201366页（荷兰北出版公司，阿姆斯特丹，1978年）。“，”DOI“：”10.1016\/S0049-237X（08）71989-X“}，{“key”：“e_1_2_1_3_2”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.Aczel建构集理论的类型理论解释：选择原则。摘自：L.e.J.Brouwer百年纪念研讨会（A.S.Troelstra和D.van Dalen eds.）第1_201340页（2010年荷兰北部出版社，阿姆斯特丹，1982年）。”，“DOI“：”10.1016\/S0049-237X（09）70120-X“}，{“key”：“e_1_2_1_4_2”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.Aczel建构集理论的类型理论解释：归纳定义。In:逻辑方法论与科学哲学VII（R.B.Marcus et al.eds.）pp.17\u201349（North\u2010 Holland Publ.Comp.Amsterdam 1986）。”，“DOI”：“10.1016\/S0049-237X（09）70683-4“｝，｛”key“：”e_1_2_1_5_2“，”非结构化“：”P.Aczel and M.Rathjen关于构造集合论的注释。技术报告40 Institut Mittag\u2010Leffler（瑞典皇家科学院，2001年）。可在http:\/\/www.ml.kva.se\/preprints\/archive2000\u20102001.php下获得。“｝，｛”key“：”e_1_2_1_6_2“，”doi断言为“：”crossref”，“非结构化”：“J.Barwise可容许集和结构（Springer\u2010Verlag Berlin\u2010Heidelberg \u2010New York 1975）。“，”DOI“：”10.1007\/978-3662-11035-5“}，{”key“：”e_1_2_1_7_2“，”DOI-asserted-by“：”crossref“，”first page“：“31”，“DOI”：“10.1090\/S0002-9947-1979-0542870-6”，“article-title”：“内射性、射影性和选择公理”，“volume”：“255”，“author”：“Blass A.”，“年份”：“1979”，“日志标题”：“Trans.Amer.Math”.Soc.“}，{”key“：”e_1_2_1_8_2“，”DOI-asserted-by“：”crossref”，“非结构化”：“W.Buchholz S.Feferman W.Pohlers和W。Sieg迭代归纳了分析的定义和子系统。数学课堂笔记897 pp.78\u2013142（施普林格\u2010Verlag Berlin 1981）。“，”DOI“：”10.1007\/BFb0091896“}，{“key”：“e_1_1_9_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/0003-4843（81）90011-5”}，“key“：”e_1_i_1_10_2“，”first page“：593”，“article-title”：“科恩方法II（摘要）的独立性导致集合论”，“volume”：”10“，”author“：”Feferman s.“，”“year”：“1963”，”journal-title“：”通知Amer.Math.Soc.“}，{“key”：“e_1_2_1_11_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF02760939“}，{“key”：“e_1_i_12_12_2”，“unstructured”：“T.Jech The Axiom of Choice（North\u2010 Holland Publ.Comp.Amsterdam 1973）。”}，“key“：“：”K.Kunen集理论：独立性证明导论（北荷兰出版社，阿姆斯特丹，1980年）。“}，{”key“：”e_1_1_15_2“，”doi-asserted-by“：”crossref“，”unstructured“：”W.Pohlers Proof Theory.数学课堂讲稿1407（Springer\u2010Verlag Berlin 1989）.“，”doi“：”10.1007\/978-3-540-46825-7“}”，{“key”：“e_2_1_16_2”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/BF01278464”}，}“key”：”e_ 2_1_ 17_2“”，“非结构化”：“M.Rathjen构造集理论中的反2010基础公理。出现在：游戏逻辑和构造集（G.Mints和R.Muskens编辑）（CSLI出版物斯坦福2003）。“}，{”key“：”e_1_2_1_18_2“，”unstructured“：”M.Rathjen构造和经典集合理论中的选择原则。发表于：2002年逻辑学术讨论会论文集（Z.Chatzidakis P.Koepke和W.Pohlers eds.）。“}]，”container-title“：[”数学逻辑季刊“]，”original-tittle“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.wiley.com/onlinelibrary\/tdm\/v1\/articles \/10.1002%2Fmalq.200310054“，”content-type“：”unspecified“，”内容-版本“：”vor“，”intended-application“：”text-mining“}，{”URL“：”https:\///onlinelibrary.wiley-com/doi\/pdf\/10002\/malq.2003100054“，d-应用程序“：”相似性检查“}”，“存放”：{“日期部分”：[[2023,11,16]]，“日期时间”：“2023-11-16T23:20:50Z”，“时间戳”：1700176850000}，“分数”：1，“资源”：{-“主要”：{:“URL”：“https:\/\/onlinelibrary.wiley.com\/doi\/10002\/malq.200310054”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2000 3,7,3]]}，“引用计数”：17，“日志发布”：{“发布”：“5“，”published-print“：{”date-parts“：[[2003,9]]}}，”alternative-id“：[”10.1002\/malq.200310054“]，”URL“：”http://\/dx.doi.org\/10.10002\/mallq.2003100054“，”archive“：[“Portico”]，“relationship”：{}，“ISSN”：[“0942-5616”，“1521-3870”]，”ISSN-type“：[{”value“：”0942-561“，”type“：”print“}，{”value“：“1521-3870”，“type”：“electronic”}]，“subject”：[]，“published”：{“日期部分“：[[2003,7,3]]}}}