×

找到50个文档（结果1-50）

最新的 引文 关联
安东·弗伦德;迈克尔·拉特扬

迭代\（\Pi^1_1\）-理解的有序性原则。 （英语） Zbl 07756888号

选择。数学。，新序列号。 29，第5号，第76号论文，83页（2023年）.
审核人：杰弗里·赫斯特（布恩）
MSC公司：03B30型 03D60年 2015年1月3日 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{A.Freund}和\textit{M.Rathjen}，塞尔。数学。，新序列号。29，第5号，第76号论文，83页（2023；Zbl 07756888）
全文： 内政部 arXiv公司
OA许可证
山姆·桑德斯

（mathbb{R}）不可数性的逆向数学。 （英语） Zbl 07627935号

Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。2022年7月11日至15日，英国斯旺西，2022年欧洲可计算性第18次会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13359, 272-286 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.桑德斯}，莱克特。注释计算。科学。13359、272--286（2022；Zbl 07627935）
全文： 内政部 arXiv公司
洛伦佐·卡卢奇;丹尼尔·塔维内利

关于全二叉树和的Hindman定理、（Sigma^0_2）-归纳法和树的鸽子洞原理。 （英语） Zbl 1506.03061号

架构（architecture）。数学。逻辑 61，编号5-6，827-839（2022）.
审核人：杰弗里·赫斯特（布恩）
MSC公司：03B30型 03天80 35楼03号 10年5月
PDF格式BibTeX公司 XML格式引用
\textit｛L.Carlucci｝和\textit｛D.Tavernelli｝，Arch。数学。逻辑61，编号5--6，827--839（2022；Zbl 1506.03061）
全文： 内政部
OA许可证
瓦斯科·布拉特卡（编辑）;诺姆·格林伯格（编辑）;伊斯坎德卡利穆林（编辑）;玛丽亚·索斯科娃（编辑）

可计算性理论。2021年4月25日至5月1日举行的研讨会摘要（混合会议）。 （英语） Zbl 1506.00048号

Oberwolfach代表。 18，第2期，1149-1190（2021）.
MSC公司：00亿05 00B25型 03-06 68-06 03年月日 03B30型 03C57号 03Fxx公司 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Brattka}（编辑）等人，Oberwolfach Rep.18，No.2，1149--1190（2021；Zbl 1506.00048）
全文： 内政部
洛伦佐·卡卢奇

Hindman定理的限制：概述。 （英语） Zbl 07495159号

De Mol，Liesbeth（编辑）等人，《与可计算性的联系》。第17届欧洲可计算性会议，CiE 2021，虚拟事件，比利时根特，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12813, 94-105 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Carlucci}，莱克特。注释计算。科学。12813、94-105（2021；Zbl 07495159）
全文： 内政部
Kołodziejczyk、Leszek Aleksander;Keita横山

成对染色的序数Ramsey数的一些上界。 （英语） Zbl 1479.05349号

选择。数学。，新序列号。 26，第4号，第56号论文，第18页（2020年）.
审核人：Tyros Konstantinos（阿西娜）
MSC公司：10年5月 05元55分 30楼03号 35楼03号 03B30型
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Kołodziejczyk}和\textit{K.Yokoyama}，Sel。数学。，新序列号。26，第4号，第56号论文，18页（2020年；Zbl 1479.05349）
全文： 内政部 arXiv公司
阿尔贝托·马可尼

wqos和bqos的反向数学。 （英语） Zbl 1496.03035号

Schuster，Peter M.（编辑）等人，《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆（DMV）内举行的关于良好准序：从理论到应用的小型研讨会，以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 189-219 (2020).
MSC公司：03B30型 35楼03号 06年06月06日
PDF格式BibTeX公司 XML格式引用
\textit{A.Marcone}，趋势日志。螺柱日志。伦敦银行同业拆借利率。53、189--219（2020年；Zbl 1496.03035）
全文： 内政部 arXiv公司
达格·诺曼;山姆·桑德斯

逆向数学和可计算性理论中的Pincherle定理。 （英语） 兹比尔1443.03008

Ann.纯粹应用。逻辑 171，第5期，文章ID 102788，41页（2020年）.
审核人：杰弗里·赫斯特（布恩）
MSC公司：03B30型 第三天65 35楼03号 03天80
PDF格式BibTeX公司 XML格式引用
\textit{D.Normann}和\textit{S.Sanders}，Ann.Pure Appl。逻辑171，第5号，文章ID 102788，41页（2020；Zbl 1443.03008）
全文： 内政部 arXiv公司
丹尼斯·赫施费尔特（Denis R.Hirschfeldt）。;凯伦·兰格;理查德·肖尔（Richard A.Shore）。

归纳、定界、弱组合原理和齐次模型定理。 （英语） Zbl 1406.03039号

内存。美国数学。Soc公司。1187，vi，106页（2017年）。
审核人：杰弗里·赫斯特（布恩）
MSC公司：03B30型 03C07号机组 03C15号 03元50分 03C57号 03D45号 30楼03号 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Hirschfeldt}等人，归纳、定界、弱组合原理和齐次模型定理。普罗维登斯，RI:美国数学学会（AMS）（2017；Zbl 1406.03039）
全文： 内政部 链接
洛伦佐·卡卢奇;Kołodziejczyk、Leszek Aleksander;弗朗西斯科·勒波雷;康拉德·兹达诺夫斯基

Hindman定理某些限制的强度的新界限。 （英语） Zbl 1496.03242号

Kari，Jarkko（编辑）等人，《揭示动力学和复杂性》。2017年6月12日至16日在芬兰图尔库举行的第13届欧洲可计算性会议，CiE 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10307, 210-220 (2017).
MSC公司：35楼03号 10年5月
PDF格式BibTeX公司 XML格式引用
\textit{L.Carlucci}等人，Lect。注释计算。科学。10307、210-220（2017；Zbl 1496.03242）
全文： 内政部 arXiv公司 链接
山姆·桑德斯

非标准分析的计算内容。 （英语） Zbl 1486.03128号

Kohlenbach，Ulrich（编辑）等人，《第六届经典逻辑与计算国际研讨会论文集》，CL&C 2016，葡萄牙波尔图，2016年6月23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）21324-40（2016）。
MSC公司：05年3月 03B30型 03E70型 03层60 第三天65
PDF格式BibTeX公司 XML格式引用
\textit{S.桑德斯}，电子。程序。西奥。计算。科学。（EPTCS）21324--40（2016；Zbl 1486.03128）
全文： arXiv公司 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段