卡尔·穆默特
人员信息
附属: 美国弗吉尼亚州亨廷顿市马歇尔大学 附属机构(博士): 宾夕法尼亚州立大学,宾夕法尼亚大学公园,美国
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2010 – 2019
2019 [公元11年] 杰弗里·赫斯特 , 卡尔·穆默特 :
使用拉姆齐定理一次。 架构(architecture)。 数学。 日志。 58 ( 7-8 ) : 857-866 ( 2019 ) 2018 [公元10年] JiYoon Jung先生 , 卡尔·穆默特 , 伊丽莎白·M·尼斯 , 迈克尔·施罗德 :
关于擦除组合批处理代码。 高级数学。 Commun公司。 12 ( 1 ) : 49-65 ( 2018 ) 2017 【c1】 杰弗里·赫斯特 , 卡尔·穆默特 :
拟阵的逆向数学。 可计算性和复杂性 2017 : 143-159 2015 [j9] 卡尔·穆默特 , 阿拉丁·萨达维 , 肖恩·索芬 :
逆向数学的模态逻辑。 架构(architecture)。 数学。 日志。 54 ( 3-4 ) : 425-437 ( 2015 ) [j8] 凯利尔·古拉 , 杰弗里·赫斯特 , 卡尔·穆默特 :
关于图的连通分量的存在性。 计算。 4 ( 2 ) : 103-117 ( 2015 ) 2014 [i1] 卡尔·穆默特 , 阿拉丁·萨达维 , 肖恩·索芬 :
逆向数学的模态逻辑。 CoRR公司 abs/1401.0648 ( 2014 ) 2012 [j7] 达米尔·德扎法罗夫 , 卡尔·穆默特 :
逆向数学与有限字符的性质。 Ann.纯粹应用。 日志。 163 ( 9 ) : 1243-1251 ( 2012 ) 2011 [j6] 杰弗里·赫斯特 , 卡尔·穆默特 :
反数学与不排除中间点的证明中的一致性。 圣母院J.正式日志。 52 ( 2 ) : 149-162 ( 2011 )
2000 – 2009
2008 [j5] 卡尔·穆默特 :
RCA之间的二阶算法子系统 0 和WKL 0 . 架构(architecture)。 数学。 日志。 47 ( 三 ) : 205-210 ( 2008 ) 2007 【b1】 加里·马伦 , 卡尔·穆默特 :
有限域和应用。 学生数学图书馆 41, 美国数学学会 2007 ,国际标准图书编号 978-0-8218-4418-2 第I-IX页,1-175页 2006 【j4】 卡尔·穆默特 :
MF空间的逆向数学。 数学杂志。 日志。 6 ( 2 ) ( 2006 ) [j3] 斯特芬·伦普 , 卡尔·穆默特 :
可计算姿势上的过滤器。 圣母院J.正式日志。 47 ( 4 ) : 479-485 ( 2006 ) 2005 [注2] 卡尔·穆默特 , 斯蒂芬·辛普森 :
逆向数学与圆周率 1 2 理解。 牛市。 符号。 日志。 11 ( 4 ) : 526-533 ( 2005 ) 2004 [j1] 卡尔·穆默特 , 斯蒂芬·辛普森 :
伽马的一个不完全性定理 n个 -模型。 J.塞姆。 日志。 69 ( 2 ) : 612-616 ( 2004 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)