编辑配置文件（在新选项卡中打开） Kołodziejczyk、Leszek Aleksander 合著者距离 作者ID： 科洛齐耶奇克·莱斯泽克·亚历山大（kolodziejczyk.leszek-aleksander） 发布日期： Kołodziejczyk、Leszek Aleksander；Kołodziejczyk，Leszek A。；Leszek Aleksander的Kolodziejczyk；Leszek Alek的Kolodziejczyk；Leszek，Kołodziejczyk 更多。。。较少的 主页： 网址：http://www.mimuw.edu.pl/约10万/ 已编制索引的文档： 35出版物自2003年以来，包括2个附加arXiv预打印 合著者： 20位合著者具有29联合出版物 314位合作作者 全部的 前5名合著者 6 单作者的 6 尼尔·萨彭 6 Keita横山 5 阿达莫维奇，佐菲亚 三 Samuel R.巴斯。 三 米查勒夫斯基（Michalewski）、亨利克（Henryk） 三 兹达诺夫斯基，康拉德 2 洛伦佐·卡卢奇 2 Fiori-Carones，玛尔塔 2 卡塔兹纳·科瓦利克。 2 弗朗西斯科·勒波雷 2 皮埃尔·普拉迪奇 2 Micha Skrzypczak 2 王天乐 1 Mikołaj博扬奇克 1 塞奇·布加塔斯 1 米查尔·加利克 1 埃米尔·杰瓦贝克 1 菲利普·莫拉克 1 杰弗里·布鲁斯，巴黎 1 巴维尔·兹比尔斯基 全部的 前5名系列 8 符号逻辑杂志 6 纯逻辑与应用逻辑年鉴 2 数学逻辑季刊（MLQ） 2 计算机科学中的逻辑方法 1 数学基础 1 计算机与系统科学杂志 1 理论计算机科学 1 美国数学学会会刊 1 数学逻辑档案 1 选择Mathematica。新系列 1 数理逻辑杂志 1 ACM计算逻辑事务 1 可计算性 领域 33 数理逻辑与基础（03-XX） 12 计算机科学（68至XX） 6 组合数学（05-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用114中的次85文件 引用人▼ 年份▼ 弱二阶有界算术的可证明全NP搜索问题。 Zbl 1256.03064号 Kołodziejczyk、Leszek Aleksander；阮富城；尼尔·萨彭 14 2011 有界算术和恒定深度命题证明中的折叠模计数。 Zbl 1353.03071号 Samuel R.巴斯。；Kołodziejczyk、Leszek Aleksander；兹达诺夫斯基，康拉德 11 2015 近似计数的片段。 Zbl 1338.03107号 Samuel R.巴斯。；Kołodziejczyk、Leszek Aleksander；尼尔·萨彭 10 2014 关于有界算术理论有限公理化片段的Herbrand一致性概念。 Zbl 1099.03050号 Kołodziejczyk、Leszek Aleksander 8 2006 急剧有界诱导的强度需要MSP。 Zbl 1223.03045号 塞奇·布加塔斯；Kołodziejczyk、Leszek Aleksander 8 2010 自然数的分类特征需要原始递归。 兹比尔1369.03100 Kołodziejczyk、Leszek Aleksander；Keita横山 7 2015 Hindman定理某些限制的强度的新界限。 Zbl 1485.03023号 洛伦佐·卡卢奇；Kołodziejczyk、Leszek Aleksander；弗朗西斯科·勒波雷；兹达诺夫斯基，康拉德 5 2020 有限模型中的真值定义。 Zbl 1068.03025号 Kołodziejczyk、Leszek Aleksander 4 2004 可替代有界归纳法的井底原理。 Zbl 1087.03036号 阿达莫维奇，佐菲亚；Kołodziejczyk、Leszek Aleksander 4 2004 弱鸽子洞原理失效的模型中的多项式和线性层次。 Zbl 1141.03012号 Kołodziejczyk、Leszek Aleksander；尼尔·萨彭 4 2008 对着色的序数Ramsey数的一些上界。 Zbl 1479.05349号 Kołodziejczyk、Leszek Aleksander；Keita横山 4 2020 弱基理论上拉姆齐定理的弱表兄弟。 Zbl 1490.03012号 Fiori-Carones，玛尔塔；Kołodziejczyk、Leszek Aleksander；卡塔兹纳·科瓦利克。 三 2021 没有求幂的真值定义和（Sigma{1}）集合方案。 Zbl 1245.03058号 阿达莫维奇，佐菲亚；Kołodziejczyk、Leszek Aleksander；杰夫，巴黎 三 2012 弱算法模型的实闭包。 Zbl 1263.03056号 埃米尔·杰瓦贝克；Kołodziejczyk、Leszek Aleksander 三 2013 水池里的小石头。 Zbl 1336.03019号 Samuel R.巴斯。；Leszek Alek的Kolodziejczyk 三 2014 从复杂性理论包含的弱算术模型的端点扩展。 Zbl 1376.03041号 Kołodziejczyk、Leszek Aleksander 三 2016 拉宾的可判定性定理有多难证明？ Zbl 1394.03016号 Kołodziejczyk、Leszek Aleksander；米查勒夫斯基（Michalewski）、亨利克（Henryk） 三 2016 PH中有界查询类属性的有限模型理论证明。 Zbl 1081.03027号 Kołodziejczyk、Leszek Aleksander 2 2004 锐利有界归纳变体的独立性结果。 Zbl 1230.03091号 Kołodziejczyk、Leszek Aleksander 2 2011 Büchi可判定性定理的逻辑强度。 兹比尔1370.03058 Leszek Aleksander的Kolodziejczyk；米查勒夫斯基（Michalewski）、亨利克（Henryk）；皮埃尔·普拉迪奇；米查尔·斯科齐普扎克 2 2016 Hindman定理某些限制的强度的新界限。 Zbl 1496.03242号 洛伦佐·卡卢奇；Kołodziejczyk、Leszek Aleksander；弗朗西斯科·勒波雷；兹达诺夫斯基，康拉德 2 2017 具有奇偶性的等深Frege的一些子系统。 Zbl 1407.03074号 米查尔·加利克；Kołodziejczyk、Leszek Aleksander 2 2018 Büchi可判定性定理的逻辑强度。 Zbl 1509.03120号 Leszek，Kołodziejczyk；米查勒夫斯基（Michalewski）、亨利克（Henryk）；皮埃尔·普拉迪奇；Skrzypczak，Michał 2 2019 如果无穷大可以是弱的，拉姆齐定理有多强？ Zbl 07691754号 Kołodziejczyk、Leszek Aleksander；卡塔兹纳·科瓦利克。；Keita横山 1 2023 有界算术片段模型中（Sigma_1）复杂性层次的部分折叠。 Zbl 1114.03030号 阿达莫维奇，佐菲亚；Kołodziejczyk、Leszek Aleksander 1 2007 反射原理的应用。 Zbl 1053.03032号 阿达莫维奇，佐菲亚；Kołodziejczyk、Leszek Aleksander；Pawe Zbierskił 1 2003 XML数据交换解决方案。 Zbl 1408.68045号 Mikołaj博扬奇克；Kołodziejczyk，莱斯泽克A。；菲利普·莫拉克 1 2013 \（\text{V}^{0}\）中的多项式和线性层次结构。 Zbl 1151.03350号 Kołodziejczyk、Leszek Aleksander；尼尔·萨彭 1 2007 如果无穷大可以是弱的，拉姆齐定理有多强？ Zbl 07691754号 Kołodziejczyk、Leszek Aleksander；卡塔兹纳·科瓦利克。；Keita横山 1 2023 弱基理论上拉姆齐定理的弱表兄弟。 Zbl 1490.03012号 Fiori-Carones，玛尔塔；Kołodziejczyk、Leszek Aleksander；卡塔兹纳·科瓦利克。 三 2021 Hindman定理某些限制的强度的新界限。 Zbl 1485.03023号 洛伦佐·卡卢奇；Kołodziejczyk、Leszek Aleksander；弗朗西斯科·勒波雷；兹达诺夫斯基，康拉德 5 2020 成对染色的序数Ramsey数的一些上界。 Zbl 1479.05349号 Kołodziejczyk、Leszek Aleksander；Keita横山 4 2020 Büchi可判定性定理的逻辑强度。 Zbl 1509.03120号 Leszek，Kołodziejczyk；米查勒夫斯基（Michalewski）、亨利克（Henryk）；皮埃尔·普拉迪奇；Micha Skrzypczak 2 2019 具有奇偶性的恒定深度Frege的一些子系统。 Zbl 1407.03074号 米查尔·加利克；Kołodziejczyk、Leszek Aleksander 2 2018 Hindman定理某些限制的强度的新界限。 Zbl 1496.03242号 洛伦佐·卡卢奇；Kołodziejczyk、Leszek Aleksander；弗朗西斯科·勒波雷；兹达诺夫斯基，康拉德 2 2017 从复杂性理论包含的弱算术模型的端点扩展。 Zbl 1376.03041号 Kołodziejczyk、Leszek Aleksander 三 2016 拉宾的可判定性定理有多难证明？ Zbl 1394.03016号 Kołodziejczyk、Leszek Aleksander；米查勒夫斯基（Michalewski）、亨利克（Henryk） 三 2016 Büchi可判定性定理的逻辑强度。 Zbl 1370.03058号 Kolodziejczyk、Leszek Aleksander；米查勒夫斯基（Michalewski）、亨利克（Henryk）；皮埃尔·普拉迪奇；米查尔·斯科齐普扎克 2 2016 有界算术和恒定深度命题证明中的折叠模计数。 Zbl 1353.03071号 Samuel R.巴斯。；Kołodziejczyk、Leszek Aleksander；兹达诺夫斯基，康拉德 11 2015 自然数的分类特征需要原始递归。 Zbl 1369.03100号 Kołodziejczyk、Leszek Aleksander；Keita横山 7 2015 近似计数的片段。 Zbl 1338.03107号 Samuel R.巴斯。；Kołodziejczyk、Leszek Aleksander；尼尔·萨彭 10 2014 水池里的小石头。 Zbl 1336.03019号 Samuel R.巴斯。；Leszek Alek的Kolodziejczyk 三 2014 弱算法模型的实闭包。 Zbl 1263.03056号 埃米尔·杰瓦贝克；Kołodziejczyk、Leszek Aleksander 三 2013 XML数据交换解决方案。 Zbl 1408.68045号 Mikołaj博扬奇克；Kołodziejczyk，Leszek A。；菲利普·莫拉克 1 2013 不带幂运算的真值定义和\（\西格玛_｛1｝\）集合方案。 Zbl 1245.03058号 阿达莫维奇，佐菲亚；Kołodziejczyk、Leszek Aleksander；杰夫，巴黎 三 2012 弱二阶有界算法的可证明全NP搜索问题。 Zbl 1256.03064号 Kołodziejczyk、Leszek Aleksander；阮富城；尼尔·萨彭 14 2011 锐利有界归纳变体的独立性结果。 Zbl 1230.03091号 Kołodziejczyk、Leszek Aleksander 2 2011 急剧有界诱导的强度需要MSP。 Zbl 1223.03045号 塞奇·布加塔斯；Kołodziejczyk、Leszek Aleksander 8 2010 弱鸽子洞原理失效的模型中的多项式和线性层次。 Zbl 1141.03012号 Kołodziejczyk、Leszek Aleksander；尼尔·萨彭 4 2008 有界算术片段模型中（Sigma_1）复杂性层次的部分折叠。 Zbl 1114.03030号 阿达莫维奇，佐菲亚；Kołodziejczyk、Leszek Aleksander 1 2007 \（\text｛V｝^｛0｝\）中的多项式和线性层次结构。 Zbl 1151.03350号 Kołodziejczyk、Leszek Aleksander；尼尔·萨彭 1 2007 关于有界算术理论有限公理化片段的Herbrand一致性概念。 Zbl 1099.03050号 Kołodziejczyk、Leszek Aleksander 8 2006 有限模型中的真值定义。 Zbl 1068.03025号 Kołodziejczyk、Leszek Aleksander 4 2004 可替代有界归纳法的井底原理。 Zbl 1087.03036号 阿达莫维奇，佐菲亚；Kołodziejczyk、Leszek Aleksander 4 2004 PH中有界查询类属性的有限模型理论证明。 Zbl 1081.03027号 Kołodziejczyk、Leszek Aleksander 2 2004 反射原理的应用。 Zbl 1053.03032号 阿达莫维奇，佐菲亚；Kołodziejczyk、Leszek Aleksander；Pawe Zbierskił 1 2003 所有引用的出版物 前5名被引用出版物 全部的 前5名96位作者引用 14 Kołodziejczyk、Leszek Aleksander 11 Samuel R.巴斯。 5 埃米尔·杰瓦贝克 4 阿达莫维奇，佐菲亚 4 洛伦佐·卡卢奇 4 简·克拉契克 4 尼尔·萨彭 三 帕维尔·普德拉克 三 Dan E.威拉德。 三 Keita横山 三 兹达诺夫斯基，康拉德 2 詹姆斯·艾森伯格 2 阿诺德·贝克曼 2 玛丽亚·路易莎 2 塞奇·布加塔斯 2 达斯，阿努帕姆 2 Fiori-Carones，玛尔塔 2 瓦伦丁·卡巴内茨 2 安东尼娜·科洛科洛娃 2 米查尔·库克 2 卡塔兹纳·科瓦利克。 2 马西莫·劳里亚 2 米查勒夫斯基（Michalewski）、亨利克（Henryk） 2 莫里茨·米勒 2 克里斯·波列特 2 皮埃尔·普拉迪奇 2 赛义德·萨利希 2 Micha Skrzypczak 2 德米特里·索科列夫 2 托雷斯，何塞·玛丽亚 2 王天乐 1 阿米罗申·阿克巴尔·塔巴塔拜 1 尼古拉·巴热诺夫（Nikola Bazhenov）ĭAlekseevich 1 里卡多·比安科尼 1 亨利克·比约克隆德 1 乔舒亚·布林霍恩 1 约书亚·布罗特 1 曹梦阳 1 梅林·卡尔 1 安德烈斯·科多恩·佛朗哥 1 阿德里安·克雷西恩 1 保拉·达奎诺 1 简·埃尔弗斯 1 阿里·埃纳亚特 1 费尔南德斯·布雷顿，大卫·何塞 1 亚历杭德罗·费尔南德斯·马加里特 1 弗拉维奥·安东尼奥·费拉罗蒂 1 吉尔达·费雷拉 1 格利维克，皮特 1 保罗·戈德伯格（Paul W.Goldberg）。 1 科斯塔斯Hatzikiriakou 1 劳里·T·海拉。 1 丹尼斯·罗曼·赫施费尔特 1 加布里埃尔·伊斯特拉特。 1 Dmitry M.Itsykson。 1 詹·约翰森 1 维特·兹斯拉夫·卡拉 1 米查·玛丽安·克雷尼基 1 萨尔马·库尔曼 1 拉拉·马汀（Lara-Martín），弗朗西斯科·费利克斯（Francisco Felix） 1 刘璐 1 托马斯·马格纳德 1 莱昂纳多·梅纳尔迪 1 Marker，David E。 1 维姆·马滕斯 1 亚历山大·梅尔尼科夫。 1 Mio、Matteo 1 内森·穆尔 1 达米安·尼文斯基 1 雅各布诺德斯特伦 1 庞硕 1 克里斯托斯·哈里劳斯·帕帕迪米特里奥 1 杰弗里·布鲁斯，巴黎 1 零件，Fedor 1 汤姆·佩特尔 1 贾恩·皮奇 1 理查德·拉斯特 1 迈克尔·拉特扬 1 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 1 Sarah C.Reitzes。 1 Jean-Pierre，雷斯亚尔 1 科林·里巴 1 达文德·辛格·萨霍塔 1 詹姆斯·施默尔（James H.Schmerl）。 1 托马斯·施温蒂克 1 亚历克斯·K·辛普森。 1 斯蒂芬·辛普森。 1 弗里德里希·斯利沃夫斯基 1 出售，Giovanni 1 查尔斯·斯坦霍恩。 1 丹尼尔·塔维内利 1 杰西·托马西克 1 伊多·扎梅雷特 1 让·保罗·范本德根 1 巴特·范·克霍夫 1 马克·维尼亚尔斯 全部的 前5名25篇连载文章中引用 14 纯逻辑与应用逻辑年鉴 10 数学逻辑档案 9 符号逻辑杂志 5 数学逻辑季刊（MLQ） 5 计算机科学中的逻辑方法 三 数学基础 三 理论计算机科学 2 美国数学学会会刊 2 信息与计算 2 计算复杂性 2 符号逻辑公报 2 数理逻辑杂志 2 ACM计算逻辑事务 1 信息学报 1 信息处理信件 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 SIAM计算机杂志 1 美国数学学会会刊 1 数学论坛 1 数学与人工智能年鉴 1 科学基础 1 葡萄牙数学。Nova Série公司 1 数学论坛，西格玛 1 公理 全部的 前5名在12个字段中引用 78 数理逻辑与基础（03-XX） 38 计算机科学（68至XX） 9 组合数学（05-XX） 2 总体主题；集合（00-XX） 2 场论与多项式（12-XX） 2 交换代数（13-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 数论（11-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文