列克·莫尔迪克
人员信息
优化列表
2010 – 2019
2018 [公元18年] 埃里克·霍夫贝克 , 列克·莫尔迪克 :
树木乱糟糟的。 Eur.J.库姆。 71 : 55-72 ( 2018 ) [公元17年] 本诺·范登伯格 , 列克·莫尔迪克 :
同伦型理论中的W型——CORRIGENDUM。 数学。 结构。 计算。 科学。 28 ( 1 ) : 140 ( 2018 ) 2015 [公元16年] 本诺·范登伯格 , 列克·莫尔迪克 :
同伦型理论中的W型。 数学。 结构。 计算。 科学。 25 ( 5 ) : 1100-1115 ( 2015 ) 2014 [公元15年] 本诺·范登伯格 , 列克·莫尔迪克 :
多元选择公理和构造集理论模型。 数学杂志。 日志。 14 ( 1 ) : 1450005 ( 2014 ) 2012 [公元14年] 本诺·范登伯格 , 列克·莫尔迪克 :
谓词集理论的导出规则:滑轮的应用。 Ann.纯粹应用。 日志。 163 ( 10 ) : 1367-1383 ( 2012 ) 2011 [j13] 本诺·范登伯格 , 列克·莫尔迪克 :
谓词代数集合理论的几个方面,II:可实现性。 西奥。 计算。 科学。 412 ( 20 ) : 1916-1940 ( 2011 )
2000 – 2009
2008 [公元12年] 本诺·范登伯格 , 列克·莫尔迪克 :
谓词代数集理论I:精确补全。 Ann.纯粹应用。 日志。 156 ( 1 ) : 123-159 ( 2008 ) 2002 [公元11年] 列克·莫尔迪克 , 埃里克·帕尔姆格伦 :
类型理论、拓扑和构造集理论:AST的谓语方面。 Ann.纯粹应用。 日志。 114 ( 1-3 ) : 155-201 ( 2002 ) 2000 [公元10年] 列克·莫尔迪克 , 埃里克·帕尔姆格伦 :
种类齐全的树木。 Ann.纯粹应用。 日志。 104 ( 1-3 ) : 189-218 ( 2000 )
1990 – 1999
1999 [公元9年] 卡斯滕·布茨 , 列克·莫尔迪克 :
一阶逻辑的基本可定义定理。 J.塞姆。 日志。 64 ( 三 ) : 1028-1036 ( 1999 ) 1997 [j8] 列克·莫尔迪克 , 埃里克·帕尔姆格伦 :
海廷算法的最小模型。 J.塞姆。 日志。 62 ( 4 ) : 1448-1460 ( 1997 ) 1995 [j7] 列克·莫尔迪克 :
直觉非标准算法模型。 Ann.纯粹应用。 日志。 73 ( 1 ) : 37-51 ( 1995 ) [j6] 雷蒙德·霍夫曼 , 列克·莫尔迪克 :
半算符理论述评。 数学。 结构。 计算。 科学。 5 ( 1 ) : 1-8 ( 1995 ) 1994 [j5] 安德烈·乔亚尔 , 列克·莫尔迪克 :
开映射的一个完备性定理。 Ann.纯粹应用。 日志。 70 ( 1 ) : 51-86 ( 1994 )
1980 – 1989
1984 [j4] Gerrit van Der Hoeven先生 , 列克·莫尔迪克 :
选择序列的剪切模型。 Ann.纯粹应用。 日志。 27 ( 1 ) : 63-107 ( 1984 ) [j3] 列克·莫尔迪克 :
Heine-Borel并不意味着Fan定理。 J.塞姆。 日志。 49 ( 2 ) : 514-519 ( 1984 ) [注2] Gerrit van Der Hoeven先生 , 列克·莫尔迪克 :
关于由排列决定的选择序列。 J.塞姆。 日志。 49 ( 三 ) : 908-916 ( 1984 ) 1983 [j1] 列克·莫尔迪克 :
在Freyd的topos封面上。 圣母院J.正式日志。 24 ( 4 ) : 517-526 ( 1983 )