×
作者ID: 李·盖西克“Lee,Gyesik”最近发表的zbMATH文章
发布日期: Lee,Gyesik先生
已编制索引的文档: 15出版物自2005年以来,包括1本书
1名编辑贡献
合著者: 22位合著者具有10联合出版物
365位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

14出版物有被引用49中的次39文件 引用人 年份
基本递归数和Ackermannian Ramsey数之间的相变的尖锐阈值。 Zbl 1194.05159号
梅纳赫姆·科杰曼;Lee,Gyesik先生;埃兰·奥姆里;安德烈亚斯·魏尔曼
9
2008
公理化思想中的相变。 兹比尔1082.03048
Lee,Gyesik先生
9
2005
超图回归Ramsey数的锐化阈值。 Zbl 1251.05103号
洛伦佐·卡卢奇;Lee,Gyesik先生;安德烈亚斯·魏尔曼
7
2011
经典逻辑的克里普克模型。 Zbl 1225.03009号
伊利克、丹科;Lee,Gyesik先生;雨果·赫贝林
7
2010
GMeta:用于一阶表示的通用形式元理论框架。 Zbl 1352.68063号
Lee,Gyesik先生;布鲁诺·C·d·S·奥利维拉。;成坤·赵;Yi,Kwangkeun先生
2012
Gentzen型直觉序列演算的基于强制的割消去。 Zbl 1246.03072号
雨果·赫贝林;Lee,Gyesik先生
2009
具有预测归纳和判断平等性的CC相关证明模型。 Zbl 1237.03008号
Lee,Gyesik先生;本杰明·沃纳
2011
机械化元理论,无需键入上下文。 Zbl 1332.68203号
Park,琼云;Seo、Jeongbong;松武公园;Lee,Gyesik先生
2
2014
Friedman-Weiermann风格的独立性超越了Peano算法。 兹比尔1349.03083
Lee,Gyesik先生
2
2014
二叉树和(最大)顺序类型。 Zbl 1151.03348号
Lee,Gyesik先生
1
2007
第14届和第15届亚洲逻辑会议记录,印度孟买,2015年1月5日至8日,韩国大田,2017年7月10日至14日。 Zbl 1419.03006号
1
2019
(varepsilon_{0})的著名序数符号系统的比较。 Zbl 1121.03080号
Lee,Gyesik先生
1
2007
圆形模型超燃冲压发动机中的隔离器-燃烧室相互作用,以及热阻塞和非热阻塞引起的非起动。 Zbl 1493.76119号
巴卡雷拉,D。;刘,Q。;麦甘,B。;李·G·。;T·李。
1
2021
形式化一阶谓词逻辑的元理论。 Zbl 1521.03024号
雨果·赫伯林;Kim、Sun Young;Lee,Gyesik先生
1
2017
圆形模型超燃冲压发动机中的隔离器-燃烧室相互作用,以及热阻塞和非热阻塞引起的非起动。 Zbl 1493.76119号
巴卡雷拉,D。;刘,Q。;B.麦甘。;李·G·。;T·李。
1
2021
第14届和第15届亚洲逻辑会议论文集,印度孟买,2015年1月5日至8日,韩国大田,2017年7月10日至14日。 Zbl 1419.03006号
1
2019
形式化一阶谓词逻辑的元理论。 Zbl 1521.03024号
雨果·赫伯林;Kim、Sun Young;Lee,Gyesik先生
1
2017
机械化元理论,无需键入上下文。 Zbl 1332.68203号
Park,琼云;Seo、Jeongbong;松武公园;Lee,Gyesik先生
2
2014
Friedman-Weiermann式的独立性结果超出了Peano算法。 Zbl 1349.03083号
Lee,Gyesik先生
2
2014
GMeta:用于一阶表示的通用形式元理论框架。 Zbl 1352.68063号
Lee,Gyesik先生;布鲁诺·C·d·S·奥利维拉。;成坤·赵;Yi,Kwangkeun先生
2012
超图回归Ramsey数的锐化阈值。 Zbl 1251.05103号
洛伦佐·卡卢奇;Lee,Gyesik先生;安德烈亚斯·魏尔曼
7
2011
具有预测归纳和判断平等性的CC相关证明模型。 Zbl 1237.03008号
Lee,Gyesik先生;本杰明·沃纳
2011
经典逻辑的克里普克模型。 Zbl 1225.03009号
伊利克、丹科;Lee,Gyesik先生;雨果·赫贝林
7
2010
Gentzen型直觉序列演算的基于强制的删减。 Zbl 1246.03072号
雨果·赫贝林;Lee,Gyesik先生
2009
基本递归数和Ackermannian Ramsey数之间的相变的尖锐阈值。 Zbl 1194.05159号
梅纳赫姆·科杰曼;Lee,Gyesik先生;埃兰·奥姆里;安德烈亚斯·魏尔曼
9
2008
二叉树和(最大)顺序类型。 Zbl 1151.03348号
李吉西克
1
2007
(varepsilon_{0})的著名序数符号系统的比较。 Zbl 1121.03080号
Lee,Gyesik先生
1
2007
公理化思想中的相变。 Zbl 1082.03048号
Lee,Gyesik先生
9
2005
全部的 前5名

61位作者引用

8 安德烈亚斯·魏尔曼
5 Lee,Gyesik先生
伊莱恩·皮门特尔
2 纪尧姆·阿拉伊斯
2 安德烈·博维金。
2 洛伦佐·卡卢奇
2 亚历杭德罗·迪亚斯·卡洛
2 Gilles Dowek
2 伊利克、丹科
2 埃兰·奥姆里
2 弗洛里安·佩卢佩西
2 路易斯·卡洛斯·佩雷拉(Luiz Carlos P.D.Pereira)。
2 冈纳·威尔肯
1 安德烈亚斯·阿贝尔(Andreas M.Abel)。
1 莫伊塔巴·阿盖伊
1 罗伯特·艾奇
1 布鲁诺·本岑
1 西尔维·博尔多
1 安德烈斯·爱德华多·凯塞多
1 詹姆斯·查普曼(James T.E.Chapman)。
1 弗朗索瓦·克莱门特
1 瓦莱里亚·德·佩瓦
1 米歇尔·德·斯梅特
1 德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德
1 克里斯蒂安·多兹卡尔
1 Jean-Christophe Filliátre
1 雅克·加里格
1 洛伦佐盖里
1 Aliya Hameer
1 雨果·赫贝林
1 阿米尔·坎什
1 Kim,Hwajeong先生
1 Kojman,梅纳切姆
1 Chuck Liang先生
1 利纳雷斯·阿雷瓦洛(Linares Arévalo)、皮拉尔·塞莱恩(Pilar Selene)
1 索尼娅·马林
1 米凯拉·梅耶罗
1 康诺·托马斯·麦克布莱德
1 詹姆斯·麦金纳
1 梅西亚,迭戈·亚历杭德罗
1 纪尧姆·梅尔金德
1 米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel)
1 阿尔贝托·莫米利亚诺
1 卡洛斯·奥拉特
1 大田康彦
1 费多尔·帕霍莫夫。
1 碧姬·品特卡
1 迈克尔·拉特扬
1 销售,艾默生
1 佐藤,Masahiro
1 史蒂文·施费尔
1 安德斯·施利奇特克鲁尔
1 格特·斯莫尔卡
1 索索、马蒂厄
1 凯瑟琳·斯塔克
1 阿明·蒂曼尼
1 范德米伦(Jeroen Van der Meeren)
1 温·范霍夫
1 皮埃尔·韦斯
1 布鲁诺·泽维尔
1 康拉德·兹达诺夫斯基

按年份列出的引文