Kołodziejczyk、Leszek Aleksander;王天乐;Keita横山 Ramsey关于对、集合和证明大小的定理。 (英语) Zbl 07845701号 数学杂志。日志。 24,第2号,文章ID 2350007,第40页(2024).MSC公司:20层03 03B30型 第03页第35页 5月10日 30楼03号 35层03 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk}等人,《数学杂志》。日志。24,第2号,文章ID 2350007,40 p.(2024;Zbl 07845701) 全文: 内政部 arXiv公司
Kołodziejczyk、Leszek Aleksander;Keita横山 成对染色的序数Ramsey数的一些上界。 (英语) Zbl 1479.05349号 选择。数学。,新序列号。 26,第4号,第56号论文,第18页(2020年). 审核人:蒂罗斯·康斯坦蒂诺斯(阿提纳) MSC公司:5月10日 05元55分 30楼03号 第03页第35页 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk}和\textit{K.Yokoyama},Sel。数学。,新序列号。26,第4号,第56号论文,18页(2020年;Zbl 1479.05349) 全文: 内政部 arXiv公司
Leszek,Kołodziejczyk;米查勒夫斯基(Michalewski)、亨利克(Henryk);皮埃尔·普拉迪奇;Micha Skrzypczak Büchi可判定性定理的逻辑强度。 (英语) Zbl 1509.03120号 日志。方法计算。科学。 15,第2号,第16号论文,31页(2019年).MSC公司:05年3月 03B25号 第03页第35页 PDF格式BibTeX公司 XML格式引用 \textit{L.Kołodziejczyk}等人,日志。方法计算。科学。15,第2号,第16号论文,31页(2019年;Zbl 1509.03120) 全文: arXiv公司
Kołodziejczyk、Leszek Aleksander 从复杂性理论包含的弱算术模型的端点扩展。 (英语) Zbl 1376.03041号 J.塞姆。日志。 81,第3期,901-916(2016). 审核人:M.Yasuhara(普林斯顿) MSC公司:03C62号 03F99型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk},J.Symb。日志。81,第3号,901--916(2016;Zbl 1376.03041) 全文: 内政部 arXiv公司
Kołodziejczyk、Leszek Aleksander;横山,Keita 自然数的分类特征需要原始递归。 (英语) Zbl 1369.03100号 Ann.纯粹应用。逻辑 166,第2期,219-231(2015).MSC公司:03B30型 第03页第35页 03B15号机组 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk}和\textit{K.横山由纪夫},Ann.Pure Appl。逻辑166,No.2,219--231(2015;Zbl 1369.03100) 全文: 内政部 arXiv公司
Samuel R.巴斯。;Kołodziejczyk、Leszek Aleksander;尼尔·萨彭 近似计数的片段。 (英语) Zbl 1338.03107号 J.塞姆。日志。 79,第2期,496-525(2014).MSC公司:30楼03号 2015年3月15日 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}等人,J.Symb。日志。79,第2号,496--525(2014;Zbl 1338.03107) 全文: 内政部 链接
埃米尔·杰瓦贝克;Kołodziejczyk、Leszek Aleksander 弱算法模型的实闭包。 (英语) Zbl 1263.03056号 架构(architecture)。数学。逻辑 52,编号1-2,143-157(2013). 审核人:Roman Kossak(纽约) MSC公司:30楼03号 03C62号 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek}和\textit{L.A.Kołodziejczyk},Arch。数学。逻辑52,No.1--2,143--157(2013;Zbl 1263.03056) 全文: 内政部
佐菲亚·阿达莫维奇;Kołodziejczyk、Leszek Aleksander;杰夫,巴黎 不带幂运算的真值定义和\(\西格玛_{1}\)集合方案。 (英语) Zbl 1245.03058号 J.塞姆。日志。 77,第2期,649-655(2012). 审核人:Roman Kossak(纽约) MSC公司:03C62号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Adamowicz}等人,J.Symb。日志。77,第2号,649--655(2012;Zbl 1245.03058) 全文: 内政部 欧几里得
Kołodziejczyk、Leszek Aleksander 锐利有界归纳变体的独立性结果。 (英语) Zbl 1230.03091号 Ann.纯粹应用。逻辑 162,第12号,981-990(2011). 审核人:Roman Kossak(纽约) MSC公司:30楼03号 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk},Ann.纯粹应用。逻辑162,No.12,981--990(2011;Zbl 1230.03091) 全文: 内政部
塞奇·布加塔斯;Kołodziejczyk、Leszek Aleksander 急剧有界诱导的强度需要MSP。 (英语) Zbl 1223.03045号 Ann.纯粹应用。逻辑 161,第4期,504-510(2010).MSC公司:30楼03号 20层03 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Boughattas}和\textit{L.A.Kołodziejczyk},Ann.Pure Appl。逻辑161,No.4,504--510(2010;Zbl 1223.03045) 全文: 内政部
佐菲亚·阿达莫维奇;Kołodziejczyk、Leszek Aleksander 有界算术片段模型中\(\西格玛_1\)复杂性层次的部分折叠。 (英语) Zbl 1114.03030号 Ann.纯粹应用。逻辑 145,第1期,91-95(2007). 审核人:Roman Kossak(纽约) MSC公司:03C62号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Adamowicz}和\textit{L.A.Kołodziejczyk},Ann.Pure Appl。逻辑145,No.1,91--95(2007;Zbl 1114.03030) 全文: 内政部
Kołodziejczyk、Leszek Aleksander 关于有界算术理论有限公理化片段的Herbrand一致性概念。 (英语) Zbl 1099.03050号 J.塞姆。日志。 71,第2264-638号(2006年). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk},J.Symb。日志。71,第2号,624--638(2006;Zbl 1099.03050) 全文: 内政部
Kołodziejczyk、Leszek Aleksander PH中有界查询类属性的有限模型理论证明。 (英语) Zbl 1081.03027号 J.塞姆。日志。 69,第4期,1105-1116(2004).MSC公司:03C13号机组 2015年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk},J.Symb。日志。69,第4号,1105--1116(2004;Zbl 1081.03027) 全文: 内政部 链接
佐菲亚·阿达莫维奇;Kołodziejczyk、Leszek Aleksander 可替代有界归纳法的井底原理。 (英语) Zbl 1087.03036号 西奥。计算。科学。 322,第1期,第5-16页(2004年).MSC公司:30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Adamowicz}和\textit{L.A.Kołodziejczyk},Theor。计算。科学。322,编号1,5-16(2004年;兹bl 1087.03036) 全文: 内政部