查尔斯·麦卡蒂
人员信息
其他同名人员
大卫·查尔斯·麦卡蒂 -美国印第安纳大学哲学系
优化列表
2020年–今天
2023 [公元14年] 查尔斯·麦卡蒂 , 斯图尔特·夏皮罗 , 安斯滕·默奇·克莱夫 :
选择公理在直觉上是错误的(在大多数情况下)。 牛市。 符号。 日志。 29 ( 1 ) : 71-96 ( 2023 ) 2020 [j13] 查尔斯·麦卡蒂 :
可满足性在直觉上是错误的:Dana Scott的问题。 Stud Logica公司 108 ( 4 ) : 803-813 ( 2020 )
2010 – 2019
2013 [公元12年] 查尔斯·麦卡蒂 :
悖论和势无限。 J.菲洛斯。 日志。 42 ( 1 ) : 195-219 ( 2013 ) [公元11年] 查尔斯·麦卡蒂 :
反现实主义和建构主义:布劳沃的薄弱反例。 版本符号。 日志。 6 ( 1 ) : 147-159年 ( 2013 ) [公元10年] 查尔斯·麦卡蒂 :
Brouwer的弱反例和可测试性:进一步评论。 版本符号。 日志。 6 ( 三 ) : 513-523 ( 2013 )
2000 – 2009
2009 [公元9年] 查尔斯·麦卡蒂 :
Dana Scott提出的两个问题:直觉拓扑和连续函数。 J.塞姆。 日志。 74 ( 2 ) : 689-692 ( 2009 ) 2008 [j8] 查尔斯·麦卡蒂 :
直觉逻辑的完全性和不完全性。 J.塞姆。 日志。 73 ( 4 ) : 1315-1327 ( 2008 )
1980 – 1989
1988 [j7] 查尔斯·麦卡蒂 :
建构效度是非算术的。 J.塞姆。 日志。 53 ( 4 ) : 1036-1041 ( 1988 ) [j6] 查尔斯·麦卡蒂 :
马尔可夫原理、Isols和Dedekind有限集。 J.塞姆。 日志。 53 ( 4 ) : 1042-1069 ( 1988 ) 1987 [j5] 查尔斯·麦卡蒂 , 尼尔·坦南特 :
斯科利姆悖论与建构主义。 J.菲洛斯。 日志。 16 ( 2 ) : 165-202 ( 1987 ) [j4] 查尔斯·麦卡蒂 :
论文变体:直觉主义和可计算性。 圣母院J.正式日志。 28 ( 4 ) : 536-580 ( 1987 ) 1986 [j3] 查尔斯·麦卡蒂 :
可实现性和递归集理论。 Ann.纯粹应用。 日志。 32 : 153-183 ( 1986 ) [j2] 查尔斯·麦卡蒂 :
可变现性下的可分拆性。 圣母院J.正式日志。 27 ( 2 ) : 210-220 ( 1986 ) 1983 [j1] 查尔斯·麦卡蒂 :
直觉主义:研讨会简介。 J.菲洛斯。 日志。 12 ( 2 ) : 105-149 ( 1983 ) 【c1】 查尔斯·麦卡蒂 :
信息系统,连续性和可实现性。 程序逻辑 1983 : 341-259