达格·诺曼
人员信息
附属: 挪威奥斯陆大学
优化列表
2020年–今天
2024 [公元46年] 达格·诺曼 :
可计算性和非单调归纳法。 计算。 13 ( 2 ) : 161-196 ( 2024 ) [i5] 达格·诺曼 , 山姆·桑德斯 :
关于开集的一些计算性质。 CoRR公司 abs/2401.09053 ( 2024 ) 2022 [j45] 达格·诺曼 , 萨姆·桑德斯 :
论ℝR的不可数性。 J.塞姆。 日志。 87 ( 4 ) : 1474-1521 ( 2022 ) [j44] 达格·诺曼 , 萨姆·桑德斯 :
关于基本数学概念的计算性质。 J.日志。 计算。 32 ( 8 ) : 1747-1795 ( 2022 ) 【c7】 达格·诺曼 , 萨姆·桑德斯 :
图灵和克莱恩之间。 LFCS公司 2022 : 236-252 [i4] 达格·诺曼 , 萨姆·桑德斯 :
关于基本数学概念的计算性质。 CoRR公司 abs/2203.05250 ( 2022 ) 2021 [公元43年] 达格·诺曼 :
测量理论一致性和Suslin泛函。 计算。 10 ( 2 ) : 91-105 ( 2021 ) [公元42年] 达格·诺曼 , 萨姆·桑德斯 :
可计算性理论和逆向数学中的选择公理,配饰连续体假设。 J.日志。 计算。 31 ( 1 ) : 297-325 ( 2021 ) [i3] 达格·诺曼 , 萨姆·桑德斯 :
图灵和克莱恩之间。 CoRR公司 abs/2109.01352 ( 2021 ) 2020 [公元41年] 达格·诺曼 , 萨姆·桑德斯 :
逆向数学和可计算性理论中的Pincherle定理。 Ann.纯粹应用。 日志。 171 ( 5 ) : 102788 ( 2020 ) [j40] 达格·诺曼 , 萨姆·桑德斯 :
可计算性理论和逆向数学中的开集。 J.日志。 计算。 30 ( 8 ) : 1639-1679 ( 2020 )
2010 – 2019
2019 [公元39年] 达格·诺曼 , 萨姆·桑德斯 :
可计算性理论和非标准分析中的紧性强度。 Ann.纯粹应用。 日志。 170 ( 11 ) ( 2019 ) [公元38年] 达格·诺曼 , 萨姆·桑德斯 :
关于不可数的数学和基础意义。 数学杂志。 日志。 19 ( 1 ) : 1950001:1-1950001:40 ( 2019 ) [公元37年] 达格·诺曼 , 山姆·桑德斯 :
可计算性理论、非标准分析及其联系。 J.塞姆。 日志。 84 ( 4 ) : 1422-1465 ( 2019 ) 2018 [公元36年] 埃尔维斯 , 安迪·刘易斯-佩伊 , Benedikt Löwe公司 , 杜加尔·麦克弗森 , 达格·诺曼 , 安德烈亚·索比 , 亚历山德拉·A·索斯科娃 , 玛丽亚·伊万诺瓦·索斯科娃 , 彼得·范·埃姆德·博阿斯 , 斯坦利·韦纳 :
S.Barry Cooper(1943-2015)。 计算。 7 ( 2-3 ) : 103-131 ( 2018 ) [j35] 达格·诺曼 :
序列泛函的类型(→Ⅰ) n个 → 对所有n∈n形成dcpo。 日志。 方法计算。 科学。 14 ( 1 ) ( 2018 ) [公元34年] 达格·诺曼 :
David Marker,《无限模型理论讲座-系列:逻辑课堂笔记》,2016年第46卷,第192页。 ISBN-13:978-1107181939。 Stud Logica公司 106 ( 6 ) : 1319-1323 ( 2018 ) 【c6】 达格·诺曼 :
类型3的函数作为分析中经典定理的实现者。 CiE公司 2018 : 318-327 2016 [i2] 达格·诺曼 :
(ι→ι)型的序列泛函 n个 → ι形成所有n∈ℕ的dcpo。 CoRR公司 abs/1607.02970 ( 2016 ) 2015 【b1】 约翰·朗利 , 达格·诺曼 :
高阶可计算性。 可计算性理论与应用 , 施普林格 2015 ,国际标准图书编号 978-3-662-47991-9 ,第3-546页 [公元33年] 达格·诺曼 :
连续泛函的可拓实现模型和三个弱非构造的经典定理。 日志。 方法计算。 科学。 11 ( 1 ) ( 2015 ) 2014 [第2页] 达格·诺曼 :
图灵模型的更高推广。 图灵的遗产 2014 : 397-433 2013 [公元32年] 萨姆·巴斯 , Benedikt Löwe公司 , 达格·诺曼 , 伊万·索斯科夫 :
2011年欧洲的可计算性。 Ann.纯粹应用。 日志。 164 ( 5 ) : 509-510 ( 2013 ) 2012 [公元31年] 达格·诺曼 , 弗拉基米尔·余(Vladimir Yu)。 萨佐诺夫 :
序列函数的扩展顺序。 Ann.纯粹应用。 日志。 163 ( 5 ) : 575-603 ( 2012 ) 2011 【j30】 达格·诺曼 :
Banach空间作为数据类型。 日志。 方法计算。 科学。 7 ( 2 ) ( 2011 ) [电子1] Benedikt Löwe公司 , 达格·诺曼 , 伊万·索斯科夫 , 亚历山德拉·索斯科娃 :
上下文中的计算模型——2011年6月27日至7月2日在保加利亚索非亚举行的第七届欧洲可计算性会议。 诉讼程序。 计算机科学课堂讲稿 6735, 施普林格 2011 ,国际标准图书编号 978-3-642-21874-3 [目录]
2000 – 2009
2009 [公元29年] 达格·诺曼 :
有限类型泛函的丰富层次结构。 日志。 方法计算。 科学。 5 ( 三 ) ( 2009 ) 2008 [c5] 达格·诺曼 :
连续泛函层次的内部密度定理。 CiE公司 2008 : 467-475 2007 [公元28年] 阿诺德·贝克曼 , Benedikt Löwe公司 , 达格·诺曼 :
计算障碍的逻辑方法:CiE 2006。 J.日志。 计算。 17 ( 6 ) : 1021-1023 ( 2007 ) 2006 [j27] 达格·诺曼 :
泛函计算——可计算性理论还是计算机科学? 牛市。 符号。 日志。 12 ( 1 ) : 43-59 ( 2006 ) [公元26年] 达格·诺曼 :
关于类型3的序列泛函。 数学。 结构。 计算。 科学。 16 ( 2 ) : 279-289 ( 2006 ) [公元25年] 巴里·库珀 , Benedikt Löwe公司 , 达格·诺曼 :
2005年CiE计算机数学。 数学。 结构。 计算。 科学。 16 ( 5 ) : 735-736 ( 2006 ) 2005 [公元24年] 达格·诺曼 :
比较总函数的层次结构。 日志。 方法计算。 科学。 1 ( 2 ) ( 2005 ) [i1] 达格·诺曼 :
比较总函数的层次结构。 CoRR公司 abs/cs/0509019 ( 2005 ) 2004 [公元23年] 达格·诺曼 :
实域上所有功能的层次结构。 西奥。 计算。 科学。 316 ( 1 ) : 137-151 ( 2004 ) 2002 [公元22年] 达格·诺曼 , 盖尔·瓦戈 :
限制空格和超限类型。 架构(architecture)。 数学。 日志。 41 ( 6 ) : 525-539 ( 2002 ) [公元21年] 达格·诺曼 :
超限可计算性和可定义性的表示定理。 架构(architecture)。 数学。 日志。 41 ( 8 ) : 721-741 ( 2002 ) [公元20年] 达格·诺曼 :
连续性、证明系统和超限计算理论。 架构(architecture)。 数学。 日志。 41 ( 8 ) : 765-788 ( 2002 ) [j19] 达格·诺曼 , 克里斯蒂安·罗丹 :
的计算能力 亩 欧米茄 . 数学。 日志。 问:。 48 ( 1 ) : 117-124 ( 2002 ) [公元18年] 达格·诺曼 :
相对于遗传全泛函的精确实数计算。 西奥。 计算。 科学。 284 ( 2 ) : 437-453 ( 2002 ) 【c4】 达格·诺曼 :
实域上连续函数的类型结构的非标准特征。 域研讨会 2002 : 141-147 2001 【c3】 达格·诺曼 :
PCF和相关微积分中总对象的可定义性。 薄层色谱分析 2001 : 4-5 2000 [公元17年] 达格·诺曼 :
部分连续函数的可计算性。 J.塞姆。 日志。 65 ( 三 ) : 1133-1142 ( 2000 )
1990 – 1999
1999 [公元16年] 达格·诺曼 , 埃里克·帕尔姆格伦 , 维戈·斯托尔滕贝格·汉森 :
超有限型结构。 J.塞姆。 日志。 64 ( 三 ) : 1216-1242 ( 1999 ) [第1页] 达格·诺曼 :
连续函数。 可计算性理论手册 1999 : 251-275 1998 【c2】 达格·诺曼 :
Cook-Berger问题-解决方案指南。 域研讨会 1998 : 154-162 【c1】 达格·诺曼 :
实域上有限类型的连续泛函。 域研讨会 1998 : 163-173 1997 [公元15年] 达格·诺曼 :
遗传有效的类型流。 架构(architecture)。 数学。 日志。 36 ( 三 ) : 219-225 ( 1997 ) [公元14年] 达格·诺曼 :
缩小中连续函数和递归之间的差距 三 E类 . 架构(architecture)。 数学。 日志。 36 ( 4-5 ) : 269-287 ( 1997 ) [j13] 莉尔·克里斯蒂安森 , 达格·诺曼 :
归纳定义类型中的对象总数。 架构(architecture)。 数学。 日志。 36 ( 6 ) : 405-436 ( 1997 ) 1994 [公元12年] 里尔·克里斯蒂安森 , 达格·诺曼 :
将较高的计算解释为具有总计的类型。 架构(architecture)。 数学。 日志。 33 ( 4 ) : 243-259 ( 1994 ) 1992 [公元11年] 吉恩·伊夫·吉拉德 , 达格·诺曼 :
PTYKES的可嵌入性。 J.塞姆。 日志。 57 ( 2 ) : 659-676 ( 1992 )
1980 – 1989
1985 [公元10年] 吉恩·伊夫·吉拉德 , 达格·诺曼 :
设置递归和∏半逻辑。 Ann.纯粹应用。 日志。 28 ( 三 ) : 255-286 ( 1985 ) 1984 [公元9年] 爱德华·R·格里弗 , 达格·诺曼 :
E(α)的定义。 J.塞姆。 日志。 49 ( 2 ) : 437-442 ( 1984 ) 1983 [j8] 达格·诺曼 :
连续泛函的R.E.度。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 79-98 ( 1983 ) [j7] 达格·诺曼 :
描述连续函数的特征。 J.塞姆。 日志。 48 ( 4 ) : 965-969 ( 1983 ) [j6] 达格·诺曼 :
连续泛函和可数泛函的一般类型结构。 数学。 日志。 问:。 29 ( 4 ) : 177-192 ( 1983 ) 1981 [j5] 达格·诺曼 :
可数函数和射影层次。 J.塞姆。 日志。 46 ( 2 ) : 209-215 ( 1981 ) 1980 【j4】 达格·诺曼 , 斯坦利·韦纳 :
可数泛函的1-段。 J.塞姆。 日志。 45 ( 三 ) : 549-562 ( 1980 )
1970 – 1979
1979 [j3] 达格·诺曼 :
集合递归中的跳转运算符。 数学。 日志。 问:。 25 ( 13-18 ) : 251-264 ( 1979 ) 1978 [注2] 达格·诺曼 :
具有非折叠层次结构的连续函数。 J.塞姆。 日志。 43 ( 三 ) : 487-491 ( 1978 ) 1976 [j1] 约翰·莫尔德斯塔德 , 达格·诺曼 :
递归理论模型。 J.塞姆。 日志。 41 ( 4 ) : 719-729 ( 1976 )