尤文纳尔·穆瓦纳希亚卡 弱的本质上不可判定的串联理论。二、。 (英语) Zbl 07832911号 架构(architecture)。数学。逻辑 63,编号3-4,353-390(2024).MSC公司:03B25号 03B30型 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{J.Murwanashaka},拱门。数学。逻辑63,编号3-4-353-390(2024;Zbl 07832911) 全文: 内政部 arXiv公司 OA许可证
马蒂亚斯·格兰贝格·奥尔森;格雷厄姆·李(Graham E.Leigh)。 重新审视直觉算法上不动点的保守性。 (英语) Zbl 07790931号 架构(architecture)。数学。逻辑 63,编号1-2,61-87(2024).MSC公司:03楼50 35层03 30楼03号 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{M.Granberg Olsson}和\textit{G.E.Leigh},Arch。数学。逻辑63,编号1--2,61-87(2024;Zbl 07790931) 全文: 内政部 arXiv公司 OA许可证
吉尔达·费雷拉;保罗·菲尔米诺 赫伯兰特改良可变现性。 arXiv公司:2402.16437 预打印,arXiv:2402.16437[math.LO](2024)。MSC公司:2010年1月3日 03B20型 03B40型 30楼03号 35层03 BibTeX公司 引用 \textit{G.Ferreira}和\textit{P.Firmino},“Herbrandized modified realizability”,预打印,arXiv:2402.16437[math.LO](2024) 全文: arXiv公司 OA许可证
卡博莱特(Marcon J.T.F.Cabbolet)。 集矩阵理论与ZF的相对一致性。 arXiv公司:2402.09458 预打印,arXiv:2402.09458[math.LO](2024)。MSC公司:35层03 03E65年 BibTeX公司 引用 \textit{M.J.T.F.Cabbolet},“集合矩阵理论与ZF的相对一致性”,预印本,arXiv:2402.09458[math.LO](2024) 全文: arXiv公司 OA许可证
程勇 关于Rosser理论。 arXiv:2401.11749 预打印,arXiv:2401.11749[math.LO](2024)。MSC公司:03F40型 30楼03号 35层03 BibTeX公司 引用 \textit{Y.Cheng},“论罗斯理论”,预印本,arXiv:2401.11749[math.LO](2024) 全文: arXiv公司 OA许可证
布宾德·辛格·阿南德 为什么类P和NP没有在有限的情况下定义好。 arXiv公司:2401.09478 预打印,arXiv:2401.09478[math.LO](2024)。MSC公司:00A30型 03A05号 03B10号机组 03日第10天 2015年3月1日 35层03 30楼03号 2015年第68季度 2017年第68季度 68T27型 BibTeX公司 引用 \textit{B.S.Anand},“为什么类P和NP没有定义明确的有限性”,Preprint,arXiv:2401.09478[math.LO](2024) 全文: arXiv公司 OA许可证
程勇 没有最低限度的、实际上不可分割的理论。 (英语) 兹伯利07828368 圣母院J.形式逻辑 64,第4号,425-439(2023).MSC公司:03F40型 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cheng},圣母院J.形式逻辑64,No.4,425--439(2023;Zbl 07828368) 全文: 内政部 arXiv公司
兹拉坦·达姆贾诺维奇 树理论:树的弱一阶理论之间的可解释性。 (英语) Zbl 07808883号 牛市。符号。日志。 29,编号4,465-502(2023).MSC公司:2002年3月 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Damnjanovic},公牛。符号。日志。29,第4号,465--502(2023;Zbl 07808883) 全文: 内政部 OA许可证
阿里·埃纳亚特;Łełyk,马特乌斯 皮亚诺算法的公理化:真理观。 (英语) Zbl 07781912号 J.塞姆。日志。 88,第4期,1526-1555(2023).MSC公司:30楼03号 35层03 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Enayat}和textit{M.ełyk},J.Symb。日志。88,编号4,1526--1555(2023;Zbl 07781912) 全文: 内政部 OA许可证
伊桑·布劳尔 无法无天序列的经典模态理论。 (英语) Zbl 07749831号 牛市。符号。日志。 29,第3号,406-452(2023).MSC公司:35层03 03楼50 03楼55 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{E.Brauer},公牛。符号。日志。29,第3号,406--452(2023;Zbl 07749831) 全文: 内政部
煎炸,伊曼纽尔 直觉集理论中依赖类型的可拓实现性和选择。 (英语) Zbl 07735948号 J.塞姆。日志。 88,编号3,1138-1169(2023).MSC公司:03楼50 35层03 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{E.Frittaion},J.Symb。日志。88,编号3,1138--1169(2023;Zbl 07735948) 全文: 内政部
阿奎莱拉,J.P。;帕霍莫夫,F。 理论的结果。 (英语) 兹伯利07731078 J.隆德。数学。社会学,II。序列号。 107,第3号,1045-1073(2023).MSC公司:2015年1月3日 35层03 03D20日 03天60 第三天65 03E45型 18A99型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}和\textit{F.Pakhomov},J.Lond。数学。社会学,II。序列号。107,第3号,1045--1073(2023;Zbl 07731078) 全文: 内政部 arXiv公司
煎炸,伊曼纽尔;内莫托、高子;迈克尔·拉特扬 直觉集理论中前提规则的选择和独立性。 (英语) Zbl 07719416号 Ann.纯粹应用。逻辑 174,第9号,文章ID 103314,24页(2023).MSC公司:03财年03 35层03 03楼50 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{E.Frittaion}等人,Ann.纯应用。逻辑174,第9号,文章ID 103314,24页(2023;Zbl 07719416) 全文: 内政部
费歇尔·马丁;卡洛·尼古莱;巴勃罗·多皮科 具有经典力量的非经典真理。对构图真实性的实证分析。 (英语) Zbl 07689495号 版本符号。日志。 16,编号2,425-448(2023).MSC公司:03财年03 03B60号 35层03 03B50 PDF格式BibTeX公司 XML格式引用 \textit{M.Fischer}等人,Rev.Symb。日志。16,编号2,425--448(2023;Zbl 07689495) 全文: 内政部 arXiv公司
布鲁诺·迪尼斯;詹姆·加斯帕 功能解释中的硬连接真理。 (英语) Zbl 1518.03013号 端口数学。 80,编号1-2,81-105(2023). 审核人:维克多·V·潘布西安(格伦代尔) MSC公司:35层03 2010年1月3日 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{B.Dinis}和\textit{J.Gaspar},港口数学。80,编号1--2,81-105(2023;Zbl 1518.03013) 全文: 内政部
佐藤·肯塔罗;沃克,简 狭隘的公理真理。 (英语) Zbl 07657274号 J.塞姆。日志。 88,第1期,22-73(2023年).MSC公司:35层03 30楼03号 03A05号 03D20日 03日70 05年3月 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kentaro}和\textit{J.Walker},J.Symb。日志。88,编号1,22--73(2023;Zbl 07657274) 全文: 内政部
托马斯·鲍威尔 Littlewood的Tauberian定理的有限化及其在Tauberia余数理论中的应用。 (英语) 兹比尔1523.03024 Ann.纯粹应用。逻辑 174,第4号,文章ID 103231,28页(2023). 审核人:布鲁诺·迪尼斯(埃沃拉) MSC公司:2010年1月3日 35层03 40A05型 40E05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell},Ann.纯苹果。逻辑174,第4号,文章ID 103231,28页(2023;Zbl 1523.03024) 全文: 内政部
詹姆斯·沃尔什 序数分析的特征。 (英语) Zbl 07653726号 Ann.纯粹应用。逻辑 174,第4号,文章ID 103230,16页(2023).MSC公司:2015年1月3日 35楼03号 03F40型 35层03 PDF格式BibTeX公司 XML格式引用 \textit{J.Walsh},Ann.《纯粹的应用》。逻辑174,第4号,文章ID 103230,16页(2023;Zbl 07653726) 全文: 内政部 arXiv公司
佐藤,肯塔罗 通过直觉主义理论绕道构建新模型。III: 关于\(\ Sigma_1^1\)集合守恒的超初始证明。 (英语) Zbl 07637214号 Ann.纯粹应用。逻辑 174,第3号,文章ID 103207,48页(2023).MSC公司:03B30型 03E70型 35层03 35楼03号 03楼50 03层60 PDF格式BibTeX公司 XML格式引用 \textit{K.Sato},Ann.纯苹果。逻辑174,第3号,文章ID 103207,48页(2023;Zbl 07637214) 全文: 内政部
汉诺·真恩;詹姆斯·沃尔什 集合论中的广义序数分析和反射原理。 arXiv:2312.12859 预印本,arXiv:2312.12859[math.LO](2023)。MSC公司:2015年1月3日 03F40型 35层03 03E45型 BibTeX公司 引用 \textit{H.Jeon}和\textit{J.Walsh},“集合论中的广义序数分析和反射原理”,预印本,arXiv:2312.12859[math.LO](2023) 全文: arXiv公司 OA许可证
汉诺·真恩 构造二阶集理论的证明理论强度。 arXiv公司:2312.12854 预印本,arXiv:2312.12854[math.LO](2023)。MSC公司:35层03 03E70型 03楼50 65楼03号 BibTeX公司 引用 \textit{H.Jeon},“构造二阶集合理论的证明理论强度”,预印本,arXiv:2312.12854[math.LO](2023) 全文: arXiv公司 OA许可证
Kurahashi、Taishi;阿尔伯特·维瑟 Pour-El的风景。 arXiv:2310.04814号 预打印,arXiv:2310.04814[math.LO](2023)。MSC公司:35层03 30楼03号 03F40型 BibTeX公司 引用 \textit{T.Kurahashi}和\textit{A.Visser},“Pour-El的风景”,预印本,arXiv:2310.04814[math.LO](2023) 全文: arXiv公司 OA许可证
阿里·埃纳亚特 好奇的满意度课程。 arXiv:2308.07463 预打印,arXiv:2308.07463[math.LO](2023)。MSC公司:30楼03号 03C62号 35层03 BibTeX公司 引用 \textit{A.Enayat},“好奇满足类”,预打印,arXiv:2308.07463[math.LO](2023) 全文: arXiv公司 OA许可证
马特乌什·埃里克;卡洛·尼古莱 一般情况下的隐含承诺。 arXiv:2302.02783 预打印,arXiv:2302.02783[math.LO](2023)。MSC公司:03F40型 35层03 03A05号 00A30型 BibTeX公司 引用 \textit{M.Łelyk}和\textit{C.Nicolai},“一般情况下的隐含承诺”,预打印,arXiv:2302.02783[math.LO](2023) 全文: arXiv公司 OA许可证
费多尔·帕霍莫夫;阿尔伯特·维瑟 有限公理化理论缺乏自我理解。 (英语) Zbl 07740288号 牛市。伦敦。数学。Soc公司。 54,第6期,2513-2531(2022).MSC公司:35层03 03F40型 03年4月40日 PDF格式BibTeX公司 XML格式引用 \textit{F.Pakhomov}和\textit{A.Visser},公牛。伦敦。数学。Soc.54,No.62513--2531(2022;Zbl 07740288) 全文: 内政部 arXiv公司
里马茨基、维塔利、瓦伦蒂诺维奇 全局可接受的推理规则。 (英语) Zbl 07656248号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 42138-160(2022).MSC公司:35层03 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{V.V.Rimatskiĭ},Izv。伊尔库茨克。戈斯。州立大学。材料42,138--160(2022;Zbl 07656248) 全文: 内政部 链接
劳埃德·亨伯斯通;史蒂文·库恩(Steven T.Kuhn)。 既单调又反单调的模态逻辑:梅金森的扩张结果和逻辑之间的亲和力。 (英语) Zbl 07634481号 圣母院J.形式逻辑 63,第4号,515-550(2022).MSC公司:03B45号 03B05号 03A05号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone}和\textit{S.T.Kuhn},圣母院J.形式逻辑63,No.4,515-550(2022;Zbl 07634481) 全文: 内政部 链接
兹拉坦·达姆贾诺维奇 本质上不可判定的弱理论的相互可解释性。 (英语) 兹比尔07620694 J.塞姆。日志。 87,第4期,1374-1395(2022).MSC公司:35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Damnjanovic},J.Symb。日志。87,第4号,1374--1395(2022;Zbl 07620694) 全文: 内政部 arXiv公司
安德烈亚·坎蒂尼 反思和展开。 (英语) Zbl 07608784号 阿德莫罗、弗朗西斯科(编辑)等,《思考与计算》。为纪念马西莫·穆格奈(Massimo Mugnai)而撰写的逻辑、历史和哲学应用论文。查姆:斯普林格。日志。认识论。统一科学。54, 369-383 (2022).MSC公司:03A05号 01A20号 01A35型 01A45号 01A50号 01A60型 03财年03 35层03 35楼03号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cantini},日志。认识论。统一科学。54、369--383(2022年;Zbl 07608784) 全文: 内政部
尤文纳尔·穆瓦纳希亚卡 弱的本质上不可判定的串联理论。 (英语) Zbl 1518.03001号 架构(architecture)。数学。逻辑 61,编号7-8,939-976(2022). 审核人:Emil Jeřábek(普拉哈) MSC公司:03B25号 35层03 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Murwanashaka},拱门。数学。逻辑61,编号7--8939--976(2022;Zbl 1518.03001) 全文: 内政部
安德烈亚·坎蒂尼 真理与数学哲学。 (英语) Zbl 07598444号 Oliveri,Gianluigi(编辑)等人,《对象、结构和逻辑》。FilMat研究数学哲学。查姆:斯普林格。波士顿Stud.Philos。历史。科学。339, 311-330 (2022).MSC公司:03年XX月 00A30型 03财年03 35层03 35楼03号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cantini},波士顿Stud.Philos。历史。科学。339311--330(2022;Zbl 07598444) 全文: 内政部
维塔利·瓦伦蒂诺维奇·里马茨基 具有共覆盖属性的模态逻辑的描述。 (英语) 兹伯利07593949 同胞。È勒克特隆。材料Izv。 19,第1号,316-325(2022).MSC公司:35层03 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.里马茨基},Sib。È勒克特隆。Mat.Izv公司。19,编号1,316-325(2022;Zbl 07593949) 全文: 内政部
阿尔伯特·维瑟 弗里德曼-灵活性。 (英语) Zbl 1521.03221号 Ann.纯粹应用。逻辑 173,第9期,文章ID 103160,41页(2022). 审核人:卢卡斯·斯蒂芬(克拉科夫) MSC公司:35层03 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},Ann.纯苹果。逻辑173,第9号,文章ID 103160,41页(2022;Zbl 1521.03221) 全文: 内政部
埃蒙·达内尔;Thomas Bolduc,亚伦 Takeuti的有序证明:一个可访问的重建。 (英语) Zbl 1521.03218号 澳大利亚。J.日志。 19,第1期,1-31页(2022年).MSC公司:2015年1月3日 35层03 PDF格式BibTeX公司 XML格式引用 \textit{E.Darnell}和\textit{A.Thomas-Bolduc},澳大利亚。J.日志。19,编号1,1--31(2022;Zbl 1521.03218) 全文: 内政部
内莫托、高子;佐藤·肯塔罗 布鲁尔的直觉主义和希尔伯特的有限主义的结合。一: 算术。 (英语) Zbl 1510.03023号 J.塞姆。日志。 87,第2期,437-497(2022年). 审核人:卢卡斯·斯蒂芬(克拉科夫) MSC公司:35层03 35楼03号 03楼50 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{T.Nemoto}和\textit{S.Kentaro},J.Symb。日志。87,编号2437-497(2022;兹bl 1510.03023) 全文: 内政部
吉·马祖雷克 订单保持条件的新偏好违反指数。 (英语) Zbl 07477236号 RAIRO,运营。物件。 56,编号1,367-380(2022).MSC公司:35层03 90B50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Mazurek},RAIRO,奥珀。第56号决议,第1号,367--380(2022年;Zbl 07477236) 全文: 内政部
阿尔伯特·维瑟 基本遗传不确定性。 arXiv:2212.03565 预打印,arXiv:2212.03565[math.LO](2022)。MSC公司:35层03 30楼03号 03F40型 BibTeX公司 引用 \textit{A.Visser},“基本遗传不可解释性”,预印本,arXiv:22212.03565[math.LO](2022) 全文: arXiv公司 OA许可证
莱昂纳多·帕切科;Keita横山 二阶算术中的确定性和反射原理。 arXiv公司:2209.04082 预打印,arXiv:2209.04082[math.LO](2022)。MSC公司:03B30型 35楼03号 35层03 2015年上半年03日 BibTeX公司 引用 \textit{L.Pacheco}和\textit{K.Yokoyama},“二阶算术中的确定性和反射原理”,预打印,arXiv:2209.04082[math.LO](2022) 全文: arXiv公司 OA许可证
贾格尔,格哈德;迈克尔·拉特扬 二阶算术子理论的可容许扩展。 arXiv:2202.03476 预打印,arXiv:2202.03476[math.LO](2022)。MSC公司:05年3月 2015年1月3日 35层03 03E30年 03B15号机组 03C70号 BibTeX公司 引用 \textit{G.Jäger}和\textit{M.Rathjen},“二阶算术子理论的可容许扩展”,预打印,arXiv:22022.03476[math.LO](2022) 全文: arXiv公司 OA许可证
阿里·埃纳亚特 算术中的不可分割类和满意度类。 arXiv公司:2212.08411 预打印,arXiv:2212.08411[math.LO](2022)。MSC公司:30楼03号 35层03 03C62号 BibTeX公司 引用 \textit{A.Enayat},“算术中的不可分割类和满足类”,预打印,arXiv:2212.08411[math.LO](2022) 全文: arXiv公司 OA许可证
扎普里亚加耶夫,Alexnader 论Büchi算术中的解释。 arXiv:2211.16392 预打印,arXiv:2211.16392[math.LO](2022)。MSC公司:03C62号 35层03 BibTeX公司 引用 \textit{A.Zapriagaev},“论B中的解释”,预印本,arXiv:2211.16392[math.LO](2022) 全文: arXiv公司 OA许可证
阿尔伯特·维瑟 启用理论。 (英语) Zbl 1515.03215号 J.应用。日志。-IfCoLog J.日志。申请。 8,编号7,2073-2117(2021).MSC公司:35层03 30楼03号 03F40型 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},J.Appl(《应用杂志》)。日志。-IfCoLog J.日志。申请。8,编号7,2073--2117(2021;Zbl 1515.03215) 全文: arXiv公司
乔安·兰德·莫肖瓦基斯 Solovay针对FIM和BI的相对一致性证明。 (英语) 兹比尔1529.03271 圣母院J.形式逻辑 62,第4期,661-667(2021).MSC公司:35层03 03-03 01A61号 03B30型 03楼50 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Moschovakis},圣母院J.形式逻辑62,No.4,661--667(2021;Zbl 1529.03271) 全文: 内政部 arXiv公司
拉斯穆斯·布兰克 算术片段的算术可定义扩展的层次不完全性结果。 (英语) Zbl 1508.03091号 版本符号。日志。 14,第3号,624-644(2021).MSC公司:30楼03号 03F40型 35层03 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{R.Blank},版本符号。日志。14,编号3,624--644(2021;Zbl 1508.03091) 全文: 内政部 arXiv公司
费尔南多·费雷拉 实数的抽象类型。 (英语) Zbl 1486.03098号 架构(architecture)。数学。逻辑 60,编号7-8,1005-1017(2021). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B30型 2010年1月3日 35层03 2015财年54 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira},拱门。数学。逻辑60,编号7--81005--1017(2021;Zbl 1486.03098) 全文: 内政部
贾格尔,格哈德 简短说明:最小不动点与最小闭合点。 (英语) Zbl 1484.03124号 架构(architecture)。数学。逻辑 60,编号7-8,831-835(2021). 审核人:布鲁诺·迪尼斯(埃沃拉) MSC公司:35楼03号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger},拱门。数学。逻辑60,编号7--8831--835(2021;Zbl 1484.03124) 全文: 内政部
阿莱、东山英彦;斯坦利·韦纳。;安德烈亚斯·魏尔曼 基于参数化Ackermann-Péter函数的Goodstein序列。 (英语) Zbl 07396324号 牛市。符号。日志。 27,第2期,168-186(2021).MSC公司:2015年1月3日 35层03 30楼03号 35楼03号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai}等人,公牛。符号。日志。27,编号2168-186(2021;兹bl 07396324) 全文: 内政部
布鲁诺·迪尼斯;保罗·奥利瓦 Heyting算法的参数化函数解释。 (英语) Zbl 1506.03122号 Ann.纯粹应用。逻辑 172,第4号,文章ID 102940,24页(2021).MSC公司:2010年1月3日 35层03 07年3月 30楼03号 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{B.Dinis}和\textit{P.Oliva},Ann.Pure Appl。逻辑172,第4号,文章ID 102940,24页(2021;Zbl 1506.03122) 全文: 内政部 arXiv公司 链接
阿尔伯特·维瑟 弗里德曼-灵活性:口译员的一致性。 arXiv公司:2111.14413 预打印,arXiv:2111.14413[math.LO](2021)。MSC公司:35层03 30楼03号 03F40型 BibTeX公司 引用 \textit{A.Visser},“Friedman-reflexivity:consistoids口译员”,预打印,arXiv:2111.14413[math.LO](2021) 全文: arXiv公司 OA许可证
费多尔·帕霍莫夫;詹姆斯·沃尔什 反射通过无穷导数排序。 arXiv:2107.03521 预打印,arXiv:2107.03521[math.LO](2021)。MSC公司:35楼03号 05年3月 2015年1月3日 35层03 BibTeX公司 引用 \textit{F.Pakhomov}和\textit{J.Walsh},“通过无穷导数进行反射排名”,预印本,arXiv:2107.03521[math.LO](2021) 全文: arXiv公司 OA许可证
詹姆斯·沃尔什 论自然理论的层次性。 arXiv公司:2106.05794 预打印,arXiv:2106.05794[math.LO](2021)。MSC公司:35层03 03F40型 2015年1月3日 30楼03号 35楼03号 BibTeX公司 引用 \textit{J.Walsh},“论自然理论的层次结构”,预印本,arXiv:2106.05794[math.LO](2021) 全文: arXiv公司 OA许可证
阿尔伯特·维瑟 循环亨金逻辑。 arXiv:2101.11462 预印本,arXiv:21011462[math.LO](2021)。MSC公司:03A05号 03B25号 35层03 30楼03号 03层45 BibTeX公司 引用 \textit{A.Visser},“循环Henkin逻辑”,预印本,arXiv:21011462[math.LO](2021) 全文: arXiv公司 OA许可证
可口、蒂埃里;斯特凡·纽沃思 洛伦森对初等数论一致性的证明。 (英语) Zbl 1512.03073号 历史。菲洛斯。日志。 41,第3期,281-290(2020年).MSC公司:35层03 30楼03号 2006年6月 03-03 01年第75页 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}和\textit{S.Neuwirth},历史。菲洛斯。日志。41,第3号,281--290(2020;Zbl 1512.03073) 全文: 内政部 哈尔
保罗·洛伦岑 [斯特凡·纽沃思] 证明部分秩序理论中不存在矛盾的证据。(Ein halbordnungtheoretischer Widerspruchsfreiheits beeis.) (德语、英语) Zbl 1512.03074号 历史。菲洛斯。日志。 41,第3期,265-280(2020年).MSC公司:35层03 2006年6月 03-03 01年第75页 PDF格式BibTeX公司 XML格式引用 \textit{P.Lorenzen},历史。菲洛斯。日志。41,编号3,265-280(2020;兹bl 1512.03074) 全文: 内政部
马提亚斯·阿斯琴布伦纳;阿纳托勒·凯利夫;尤德斯·纳齐亚泽诺;托马斯·斯坎隆 有限生成交换环的逻辑复杂性。 (英语) Zbl 1476.03047号 国际数学。Res.不。 2020年,第1期,第112-166页(2020年).MSC公司:03C60型 35层03 13升05 PDF格式BibTeX公司 XML格式引用 \textit{M.Aschenbrenner}等人,国际数学。Res.不。2020年,第1期,第112--166号(2020年;Zbl 1476.03047) 全文: 内政部 arXiv公司
工程师,Patrícia;费尔南多·费雷拉 抽象类型的有界函数解释。 (英语) Zbl 1505.03126号 阿德里安·雷祖什(编辑),《当代逻辑与计算》。伦敦:学院出版物。朗诗。日志。1, 87-112 (2020).MSC公司:2010年1月3日 30楼03号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{P.Engrácia}和\textit{F.Ferreira},Landsc。日志。1、87-112(2020年;Zbl 1505.03126)
埃德加·L·B·阿尔梅达。;罗德里戈·A·弗雷尔。 论算术的存在。 (英语) Zbl 1487.03028号 科斯塔·莱特(Costa-Leite),亚历山大(Alexandre)(编辑),《抽象结果与逻辑》。纪念Edelcio G.de Souza的论文。伦敦:学院出版物。《致敬》42,199-218(2020)。MSC公司:03B30型 35楼03号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{E.L.B.Almeida}和\textit{R.A.Freire},《致敬》42,199--218(2020;Zbl 1487.03028)
托马斯·鲍威尔 关于Zorn引理的计算内容。 (英语) Zbl 1498.03153号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。768-781 (2020).MSC公司:35层03 2010年1月3日 第三天65 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell},in:2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8-11日。纽约州纽约市:计算机协会(ACM)。768--781(2020年;Zbl 1498.03153) 全文: 内政部 arXiv公司
费多尔·帕霍莫夫;亚历山大·扎普里阿盖夫 普雷斯伯格算法本身的多维解释。 (英语) 兹比尔07285903 J.日志。计算。 30,第8期,1681-1693(2020).MSC公司:30楼03号 35层03 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{F.Pakhomov}和\textit{A.Zapriagaev},J.Log。计算。30,第8号,1681--1693(2020;Zbl 07285903) 全文: 内政部 arXiv公司
贾里德·沃伦 语法阴影。重振逻辑和数学传统主义。 (英语) Zbl 07247163号 纽约州纽约市:牛津大学出版社(ISBN 978-0-19-008615-2/hbk;978-0-19-19-008616-9/电子书)。第xx页,第385页。(2020).MSC公司:2002年3月 03A05号 30楼03号 2015年上半年03日 35层03 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Warren},语法阴影。重振逻辑和数学传统主义。纽约州纽约市:牛津大学出版社(2020;Zbl 07247163) 全文: 内政部
费尔南多·费雷拉 Herbrand二阶算法中的FAN原理和弱König引理。 (英语) Zbl 1455.03077号 Ann.纯粹应用。逻辑 171,第9号,文章ID 102843,20页(2020). 审核人:布鲁诺·迪尼斯(里斯本) MSC公司:2010年1月3日 35楼03号 03楼50 03B40型 35层03 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira},Ann.纯苹果。逻辑171,第9号,文章ID 102843,20页(2020;Zbl 1455.03077) 全文: 内政部
保罗·安·麦克尔唐尼 关于盛田对等和可解释性。 (英语) Zbl 1444.03004号 版本符号。日志。 13,第2期,388-415(2020年). 审核人:维克多·V·潘布西安(格伦代尔) MSC公司:03A10号 35层03 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.McEldowney},版本:Symb。日志。13,编号2388-415(2020;兹bl 1444.03004) 全文: 内政部
阿尔伯特·维瑟 再看一下第二个不完全性定理。 (英语) 兹比尔1444.03168 版本符号。日志。 13,第2期,269-295(2020年). 审核人:维克多·V·潘布西安(格伦代尔) MSC公司:03F40型 03B25号 35层03 30楼03号 03层45 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},版本符号。日志。13,第2号,269--295(2020;Zbl 1444.03168) 全文: 内政部
埃文·戈利斯;Joost J.乔斯特恩。 所有合理的算术理论的可解释性逻辑中的两个新的原则系列。 (英语) Zbl 1471.03085号 J.塞姆。日志。 85,编号1,1-25(2020). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03层45 35层03 03B45号 03B60号 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Goris}和textit{J.J.Joosten},J.Symb。日志。85,编号1,1-25(2020;Zbl 1471.03085) 全文: 内政部 链接
詹姆斯·沃尔什 关于一致性运算符的注释。 (英语) Zbl 1443.03042号 程序。美国数学。Soc公司。 148,第6号,2645-2654(2020). 审核人:安东·弗伦德(达姆施塔特) MSC公司:03F40型 35层03 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{J.Walsh},程序。美国数学。Soc.148,No.6,2645--2654(2020;Zbl 1443.03042) 全文: 内政部 arXiv公司
艾尔凡·阿拉姆 推广de Finetti–Hewitt–Savage定理。 arXiv:2008.08754号 预印本,arXiv:2008.08754[数学.PR](2020)。MSC公司:60克09 28E05号 28A33型 60B05型 00A30型 26E35岁 2005年9月54日 60摄氏度05 28立方厘米 05年3月 62A99型 35层03 01A07号 00A35型 01A67号 03A05号 BibTeX公司 引用 \textit{I.Alam},“推广德菲内蒂——休伊特——萨维奇定理”,预印本,arXiv:2008.08754[math.PR](2020) 全文: arXiv公司 OA许可证
高雄井上 从具有强否定的构造性表格方法的角度看算术的一致性,第一部分:没有完全归纳法的系统。 arXiv:2010.07368号 预印本,arXiv:2010.07368[math.LO](2020)。MSC公司:03财年03 35层03 30楼03号 03楼50 BibTeX公司 引用 \textit{T.Inoué},“从具有强否定的构造性表格方法的角度看算术的一致性,第一部分:没有完全归纳的系统”,预印本,arXiv:2010.07368[math.LO](2020) 全文: arXiv公司 OA许可证
Kołodziejczyk、Leszek Aleksander;王天乐;Keita横山 Ramsey关于对、集合和证明大小的定理。 arXiv:2005.06854号 预印本,arXiv:2005.06854[math.LO](2020)。MSC公司:03B30型 35楼03号 20层03 35层03 30楼03号 2015年上半年03日 10年5月 BibTeX公司 引用 \textit{L.A.Kołodziejczyk}等人,“关于对、集合和证明大小的拉姆齐定理”,预印本,arXiv:2005.06854[math.LO](2020) 全文: arXiv公司 OA许可证
Dan E.威拉德。 排除中间律与第二不完全性定理及其边界情形例外的关系。 arXiv:2006.01057年 预印本,arXiv:2006.01057[math.LO](2020)。MSC公司:35层03 30楼03号 BibTeX公司 引用 \textit{D.E.Willard},“排除中间律如何与第二不完全定理及其边界条件例外相关”,预印本,arXiv:2006.01057[math.LO](2020) 全文: arXiv公司 OA许可证
查尔斯·帕森斯 保罗·伯奈斯的两篇论文评论。 (英语) Zbl 1465.03033号 Mras,Gabriele M.(编辑)等,《逻辑和数学哲学》。第41届路德维希·维特根斯坦国际研讨会论文集。柏林:De Gruyter。出版物。奥地利路德维希·维特根斯坦Soc.New Ser。27, 297-312 (2019).MSC公司:03A05号 00A30型 35层03 30楼03号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Parsons},出版物。奥地利路德维希·维特根斯坦Soc.New Ser。27、297--312(2019;Zbl 1465.03033) 全文: 内政部
迈克尔·拉特扬;迈克尔·托佩尔 关于相关理论:证明理论还原。 (英语) Zbl 1469.03160号 Centrone,Stefania(编辑)等人,《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼(Villa Vigoni)的德国-意大利欧洲卓越中心举行的洪堡-科尔勒格(Humboldt-Kolleg)“作为数学普遍性的证明理论”(Proof theory as mathesis universalis)。查姆:斯普林格。合成。伦敦银行同业拆借利率。412311-331(2019)中描述。MSC公司:2015年1月3日 35层03 35楼03号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{M.Rathjen}和\textit{M.Toppel},Synth。伦敦银行同业拆借利率。412311--331(2019年;Zbl 1469.03160) 全文: 内政部 链接
托马斯·鲍威尔 经典推理的计算解释:从ε演算到有状态程序。 (英语) Zbl 1469.03161号 Centrone,Stefania(编辑)等人,《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼(Villa Vigoni)的德国-意大利欧洲卓越中心(German-Italian Centre for European Excellence)举行的洪堡-科尔勒格(Humboldt-Kolleg)“作为数学普适性的证明理论”。查姆:斯普林格。合成。伦敦银行同业拆借利率。412, 255-290 (2019).MSC公司:35层03 30楼03号 35楼03号 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{T.鲍威尔},Synth。伦敦银行同业拆借利率。412255-290(2019年;兹比尔1469.03161) 全文: 内政部 arXiv公司
克劳斯·美因泽 从数学的普遍性到可证明性、可计算性和可构造性。 (英语) Zbl 1469.03113号 Centrone,Stefania(编辑)等人,《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼(Villa Vigoni)的德国-意大利欧洲卓越中心(German-Italian Centre for European Excellence)举行的洪堡-科尔勒格(Humboldt-Kolleg)“作为数学普适性的证明理论”(Proof theory as mathesis universalis)。查姆:斯普林格。合成。伦敦银行同业拆借利率。412, 203-234 (2019).MSC公司:03日第10天 03天35分 35楼03号 03层60 03B30型 35层03 68伏15 03B38型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{K.Mainzer},合成。伦敦银行同业拆借利率。412203--234(2019年;Zbl 1469.03113) 全文: 内政部
贾格尔,格哈德;西尔维娅·斯特拉 从数学的普遍性到不动点和相关的集合理论概念。 (英语) Zbl 1469.03140号 Centrone,Stefania(编辑)等人,Mathesis universalis,可计算性和证明。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼(Villa Vigoni)的德国-意大利欧洲卓越中心(German-Italian Centre for European Excellence)举行的洪堡-科尔勒格(Humboldt-Kolleg)“作为数学普适性的证明理论”。查姆:斯普林格。合成。伦敦银行同业拆借利率。412, 113-129 (2019).MSC公司:03E30年 03财年03 35层03 第3页第45页 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}和\textit{S.Steila},Synth。伦敦银行同业拆借利率。41213-129(2019年;Zbl 1469.03140) 全文: 内政部
托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;尼古拉斯·塔巴雷奥 Setoid类型理论——句法翻译。 (英语) Zbl 1434.03034号 Hutton,Graham(编辑),《程序构造的数学》。2019年10月7日至9日在葡萄牙波尔图举行的MPC 2019第13届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11825, 155-196 (2019).MSC公司:03B38型 03B40型 35层03 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch}等人,Lect。注释计算。科学。11825、155-196(2019年;Zbl 1434.03034) 全文: 内政部
叶夫根尼·科尔马科夫;列夫·贝克莱米舍夫 可证明性的公理化。 (英语) Zbl 1444.03165号 J.塞姆。日志。 84,第2期,849-869(2019). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:30楼03号 35层03 03F40型 03层45 PDF格式BibTeX公司 XML格式引用 \textit{E.Kolmakov}和\textit{L.Beklemishev},J.Symb。日志。84,第2号,849--869(2019;Zbl 1444.03165) 全文: 内政部 arXiv公司
阿尔伯特·维瑟 从塔尔斯基到哥德尔,或者如何从没有自我参照的真理的不确定性中导出第二个不完全性定理。 (英语) 兹比尔1444.03167 J.日志。计算。 29,第5号,595-604(2019).MSC公司:03F40型 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},J.Log。计算。29,第5号,595--604(2019;Zbl 1444.03167) 全文: 内政部 arXiv公司
科恩Lefen;谢凯利(Székely,Gergely) 关于定义等价于非不相交语言的推广。 (英语) Zbl 1457.03024号 J.菲洛斯。日志。 48,第4号,709-729(2019).MSC公司:03B10号机组 03C40号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{K.Lefero}和\textit{G.Székely},J.Philos。日志。48,第4号,709--729(2019;Zbl 1457.03024) 全文: 内政部 arXiv公司
阿克巴尔·雷扎伊 关于扩展蕴涵群胚。 (英语) Zbl 1436.03300号 博尔。Soc.Mat.Mex.,III.序列号。 25,第2期,237-247(2019). 审核人:韦斯·aw A.Dudek(Wroc aw) MSC公司:35层03 08A30型 06英尺35英寸 20号02 PDF格式BibTeX公司 XML格式引用 \textit{A.Rezaei},波尔。Soc.Mat.Mex.,III.序列号。25,第2号,237--247(2019;Zbl 1436.03300) 全文: 内政部
托马斯·鲍威尔 参数化条递归:经典依赖选择可实现性解释的统一框架。 (英语) Zbl 1444.03141号 J.日志。计算。 29,第4号,519-554(2019).MSC公司:第三天65 2010年1月3日 35层03 03E25型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{T.鲍威尔},J.洛格。计算。29,第4519-554号(2019年;兹bl 1444.03141) 全文: 内政部 arXiv公司
奥尔加·哈兰波维奇;劳拉·洛佩兹 一些monoid的算术和应用的双可解释性。 (英语) Zbl 1467.03030号 半群论坛 99,第1期,126-139(2019).MSC公司:35层03 03C60型 03C40号 03C62号 2005年5月20日 2014年11月20日 PDF格式BibTeX公司 XML格式引用 \textit{O.Kharlampovich}和\textit{L.Lopez},半群论坛99,第1期,126--139(2019年;Zbl 1467.03030) 全文: 内政部 arXiv公司
本诺·范登伯格 黑田风格的翻译。 (英语) Zbl 1450.03003号 架构(architecture)。数学。逻辑 58,编号5-6,627-634(2019). 审核人:杰米·加斯帕(肯特) MSC公司:03B20型 35层03 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg},拱门。数学。逻辑58,编号5--6,627--634(2019;Zbl 1450.03003) 全文: 内政部 arXiv公司
阿德里安·雷祖什 书评:J.von Plato,《从地窖中拯救》。Gerhard Gentzen关于逻辑和数学基础的速记笔记。 (英语) Zbl 1435.00038号 螺柱日志。 107,第3号,583-589(2019).MSC公司:00A17年 03-03 01A60型 03财年03 05年3月 35层03 03F40型 03楼50 03楼55 03A05号 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rezuş},螺柱日志。107,第3号,583--589(2019;Zbl 1435.00038) 全文: 内政部
玛丽亚·哈梅恩·安提拉 名词序数、更高类型上的递归和有限性。 (英语) Zbl 1441.03005号 牛市。符号。日志。 25,第1号,101-124(2019). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03-03 01A60型 2015年1月3日 35层03 PDF格式BibTeX公司 XML格式引用 \文本{M.Hämeen-Attila},公牛。符号。日志。25,第1号,101-124(2019;Zbl 1441.03005) 全文: 内政部 链接
安妮卡·坎科斯 关于Gentzen序数赋值的注释。 (英语) 兹比尔1477.03249 架构(architecture)。数学。逻辑 58,编号3-4,347-352(2019).MSC公司:35层03 30楼03号 05年3月 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Kanckos},拱门。数学。逻辑58,No.3--4,347--352(2019;Zbl 1477.03249) 全文: 内政部 链接
安东·弗伦德 关于迭代一致性和无穷证明的注记。 (英语) 兹比尔1454.03075 架构(architecture)。数学。逻辑 58,编号3-4,339-346(2019). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:05年3月 35层03 2015年1月3日 03B30型 30楼03号 PDF格式BibTeX公司 XML格式引用 \发短信{A.Freund},Arch。数学。逻辑58,No.3--4,339--346(2019;Zbl 1454.03075) 全文: 内政部 arXiv公司
费多尔·帕霍莫夫;阿尔伯特·维瑟 关于克拉耶夫斯基的一个问题。 (英语) 兹比尔1441.03010 J.塞姆。日志。 84,第1号,343-358(2019). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B10号机组 03B30型 03日30分 35层03 PDF格式BibTeX公司 XML格式引用 \textit{F.Pakhomov}和\textit{A.Visser},J.Symb。日志。84,第1号,343--358(2019;Zbl 1441.03010) 全文: 内政部 arXiv公司 链接
佐藤·肯塔罗 关于谓语序数分析的一点注记。重复理解和超限归纳。 (英语) Zbl 1467.03031号 J.塞姆。日志。 84,第1号,226-265(2019). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:30楼03号 05年3月 2015年1月3日 35层03 35楼03号 03D20日 PDF格式BibTeX公司 XML格式引用 \文本{S.Kentaro},J.Symb。日志。84,编号1,226--265(2019;Zbl 1467.03031) 全文: 内政部
Timothy Y·周。 算术的一致性。 (英语) Zbl 1428.03074号 数学。智力。 41,编号1,22-30(2019). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:30楼03号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{T.Y.Chow},数学。智力。41,第1号,第22--30号(2019年;Zbl 1428.03074) 全文: 内政部 arXiv公司
谢尔盖·阿特莫夫 一致性的可预防性。 arXiv公司:1902.07404 预印本,arXiv:1902.07404[math.LO](2019)。MSC公司:03财年03 35层03 30楼03号 03F40型 03楼50 BibTeX公司 引用 \textit{S.Artemov},“一致性的可预防性”,预打印,arXiv:1902.07404[math.LO](2019) 全文: arXiv公司 OA许可证
托马斯·鲍威尔 带有状态的函数解释。 (英语) Zbl 1453.03065号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。839-848 (2018).MSC公司:35层03 2010年1月3日 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell},in:2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9-12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。839-848(2018年;兹比尔1453.03065) 全文: 内政部
尼尔·杜瓦 关于逻辑之间的转换。 (英语) Zbl 1428.03014号 分析,牛津。 78,第4期,622-630(2018).MSC公司:03A05号 03B99号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{N.Dewar},分析,牛津大学。78,第4号,622--630(2018;Zbl 1428.03014) 全文: 内政部 链接
埃蒙·达内尔;亚伦·托马斯·博尔杜克 Takeuti的良序证明:有限好吗? (英语) Zbl 1404.03006号 玛丽亚·扎克(编辑)等人,《历史和数学哲学研究》。2017年5月在加拿大安大略省多伦多市举行的CSHPM 2017年年度会议。查姆:Birkhä用户(ISBN 978-3-319-90855-7/hbk;978-3-3169-90983-7/电子书)。《加拿大数学历史与哲学学会学报》/《加拿大历史与数学哲学》,167-180(2018)。MSC公司:03-03 35层03 30楼03号 05年3月 2015年1月3日 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Darnell}和\textit{A.Thomas-Bolduc},摘自:数学史和哲学研究。2017年5月在加拿大安大略省多伦多市举行的CSHPM 2017年年度会议。查姆:Birkhäuser。167-180(2018;Zbl 1404.03006) 全文: 内政部 链接
石原、Hajime;玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥;托马斯·斯特里彻 最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 (英语) 兹比尔1522.03323 架构(architecture)。数学。逻辑 57,编号7-8,873-888(2018).MSC公司:35层03 03B38型 30楼03号 03楼50 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}等人,Arch。数学。逻辑57,编号7--8873--888(2018;Zbl 1522.03323) 全文: 内政部 链接
藤原真本;乌尔里奇·科伦巴赫 双重否定移位的弱片段与相关原则之间的相互关系。 (英语) Zbl 1445.03006号 J.塞姆。日志。 83,第3期,991-1012(2018). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 03楼50 2010年1月3日 35层03 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{U.Kohlenbach},J.Symb。日志。83,编号31991-1012(2018;兹bl 1445.03006) 全文: 内政部 链接
安东尼奥·蒙塔尔班;理查德·肖尔(Richard A.Shore)。 二阶算术子系统上超滤器的保守性。 (英语) Zbl 1522.03325号 J.塞姆。日志。 83,第2号,740-765(2018).MSC公司:35楼03号 03B30型 03天80 35层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Montalban}和\textit{R.A.Shore},J.Symb。日志。83,第2号,740--765(2018;Zbl 1522.03325) 全文: 内政部 链接
贾格尔,格哈德;西尔维娅·斯特拉 关于Kripke-Platek环境中的一些不动点公理和相关原理。 (英语) Zbl 1469.03139号 J.塞姆。日志。 83,第2期,642-668(2018).MSC公司:03E30年 03财年03 35层03 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}和\textit{S.Steila},J.Symb。日志。83,No.2,642--668(2018;Zbl 1469.03139) 全文: 内政部
汤马斯·辛德勒 关于真理和理解的一些注释。 (英语) 兹比尔1436.03308 J.菲洛斯。日志。 47,第3号,449-479(2018).MSC公司:35楼03号 35层03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Schindler},J.Philos。日志。47,第3号,449--479(2018;Zbl 1436.03308) 全文: 内政部 链接
亚历山大·扎普里阿盖夫;费多尔·帕霍莫夫 普雷斯伯格算法本身的解释。 (英语) Zbl 1503.03046号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10703, 354-367 (2018).MSC公司:30楼03号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Zapriagaev}和\textit{F.Pakhomov},莱克特。注释计算。科学。10703、354--367(2018;Zbl 1503.03046) 全文: 内政部 arXiv公司
布鲁诺·迪尼斯;詹姆·加斯帕 直觉主义的非标准有界修改可实现性和函数解释。 (英语) 兹伯利1426.03013 Ann.纯粹应用。逻辑 169,第5号,392-412(2018). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 35层03 35楼03号 11单元10 PDF格式BibTeX公司 XML格式引用 \textit{B.Dinis}和\textit{J.Gaspar},Ann.Pure Appl。逻辑169,No.5,392--412(2018;Zbl 1426.03013) 全文: 内政部 arXiv公司