×

彼得·阿策尔(1941年2月23日)

作者ID: aczel.测试器“Aczel,Peter”最近发表的zbMATH文章
发布日期: 彼得·阿策尔艾泽尔,P。艾泽尔,P.H.G。
其他拼写: 彼得·亨利·乔治(Peter Henry George Aczel)
主页: 网址:http://www.cs.man.ac.uk/~佩特拉/
外部链接: MGP公司·维基数据·ResearchGate研究之门·数据库许可证·接地·ID参考
已编制索引的文档: 43出版物自1966年以来,包括1本书
2作为编辑的贡献·5进一步捐款
合著者: 20位合著者具有17联合出版物
308合著作者
全部的 前5名

合著者

27 单作者的
亨德里克·彼得·巴伦德雷格特
所罗门·费弗曼
尼古拉·甘比诺
理查德·斯塔特曼
2 阿达梅克,吉安尼
2 约翰·伯吉斯。
2 戴维斯,马丁·戴维
2 基思·德夫林。
2 保罗·埃克洛夫。
2 赫伯特·B·恩德顿。
2 迈克尔·保罗·福曼
2 利奥·A·哈灵顿。
2 石原、Hajime
2 托马斯·杰赫。
2 伊斯坦·华什
2 亚历山大·S·凯克里斯。
2 凯斯勒,霍华德·杰罗姆
2 安德斯·容格森·科克
2 肯尼斯·库恩
2 安格斯·约翰·麦金太尔
2 麦凯,迈克尔
2 唐纳德·马丁。
2 Nax Paul Mendler
2 迈克尔·达尔文·莫利
2 莫肖瓦基斯,伊安尼斯·尼古拉斯
2 埃里克·帕尔姆格伦
2 杰弗里·布鲁斯,巴黎
2 迈克尔·奥·拉宾。
2 Reyes,Gonzalo E。
2 韦恩·里希特
2 鲁丁、玛丽·艾伦
2 彼得·迈克尔·舒斯特
2 赫尔穆特·施维赫滕贝格
2 斯科特,达纳·斯图尔特
2 Joseph R.Shönfield。
2 理查德·阿诺德·肖尔
2 哈罗德·西蒙斯
2 斯蒂芬·辛普森。
2 克雷格·斯莫林斯基
2 基思·斯特罗扬(Keith D.Stroyan)。
2 安妮·斯杰尔普·特罗尔斯特拉
2 本诺·范登伯格
2 吉·维勒比尔
2 斯坦利·斯科特·韦纳
1 阿伦斯,贝内迪克特
1 托尔斯滕·阿滕柯奇
1 卡洛·安吉利
1 杰里米·阿维加德
1 史蒂夫·阿沃迪
1 布鲁诺·巴拉斯
1 肯尼斯·琼·巴维斯
1 安德烈·鲍尔
1 伊夫·贝托特
1 马克·贝泽姆
1 科拉多·伯姆
1 安东尼·博尔吉
1 纪尧姆·布鲁内里
1 马丁·邦德。
1 大卫·P·卡莱尔。
1 克拉克(Edmund Melson jun Clarke)。
1 西里尔·科恩
1 罗伯特·李,警察
1 马里奥·科普
1 可口、蒂埃里
1 劳拉·克罗西拉
1 约翰·纽索姆·克罗斯利
1 乔瓦尼·库里
1 皮埃尔·卢伊斯·居里
1 尼古拉斯·戈弗特·德布鲁因
1 马里亚纽拉州Dezani-Ciancaglini
1 朱斯塔斯·迪勒
1 彼得·戴比杰
1 埃里克·芬斯特
1 菲奇,弗雷德里克·布伦顿
1 罗宾·甘迪。
1 理查德·加纳
1 保罗·C·吉尔摩。
1 乔治·戈蒂尔
1 约翰·乔治·格兰斯特罗姆
1 丹尼尔·理查德·格雷森
1 托马斯·卡利斯特·黑尔斯
1 罗伯特·哈珀
1 雨果·赫贝林
1 J.Roger欣德利
1 彼得·辛曼(Peter G.Hinman)。
1 马丁·霍夫曼
1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。
1 Hötzel Escardó,马汀
1 Hou(Favonia)、Kuen-Bang
1 威廉·阿尔文·霍华德
1 安德烈·乔亚尔
1 Krzysztof卡普尔金
1 约翰·T·卡恩斯。
1 扬·威廉·克鲁普
1 约阿希姆·科克
1 科曼斯,喀斯特
1 尼古拉·克劳斯
1 亚历山大·谢尔盖维奇·库齐切夫
1 约阿希姆·兰贝克
1 珍妮·雅克·利维
……还有37位合著者

按年份列出的出版物

zbMATH Open中包含的引文

44出版物有被引用784中的次598文件 引用人 年份
同伦类型理论。数学的单价基础。 Zbl 1298.03002号
单价基金项目
219
2013
无资金支持的集合。乔恩·巴韦斯(Jon Barwise)的前言。 Zbl 0668.04001号
彼得·阿策尔
194
1988
致H.B.Curry:关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号
145
1980
最后一个余代数定理。 Zbl 1496.03206号
彼得·阿策尔纳克斯门德勒
73
1989
构造集理论的类型论解释。 Zbl 0481.03035号
彼得·阿策尔
72
1978
构造集合论的类型论解释:归纳定义。 Zbl 0624.03044号
彼得·阿策尔
59
1986
弗雷格结构和命题、真理和集合的概念。 Zbl 0462.0302号
彼得·阿策尔
48
1980
无限树和完全迭代理论:一个联合的观点。 Zbl 1028.68077号
彼得·阿策尔阿达梅克,吉安尼斯特凡·米利厄斯吉·维勒比尔
44
2003
建构集理论的类型理论解释:选择原则。 Zbl 0529.03035号
彼得·阿策尔
41
1982
构造集理论中的一般拓扑学。 Zbl 1077.03035号
彼得·阿策尔
36
2006
递归密度类型和Nerode算法扩展。 Zbl 0308.02045号
艾泽尔,P。
34
1975
可容许序数的归纳定义和反射性质。 Zbl 0318.02042号
里希特,韦恩彼得·阿策尔
23
1974
关于关联类型理论和集合理论。 Zbl 0944.03056号
彼得·阿策尔
20
1999
无限树和迭代的联合视图。 Zbl 1260.68235号
彼得·阿策尔阿达梅克,吉安尼吉·维勒比尔
17
2001
数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。第二次打印。 Zbl 0443.03001号
14
1978
构造集理论的广义类型理论解释。 Zbl 1100.03052号
尼古拉·甘比诺彼得·阿策尔
12
2006
饱和的直觉理论。 Zbl 0198.32205号
艾泽尔,P.H.G。
10
1968
量词、游戏和归纳定义。 Zbl 0324.02009号
彼得·阿策尔
9
1975
使用超限类型的泛函描述序数。 Zbl 0264.02025
彼得·阿策尔
9
1972
构造拓扑中的分离特性。 Zbl 1095.03073号
彼得·阿策尔克里斯托弗·福克斯
8
2005
Russell-Prawitz模式。 Zbl 0988.03033号
彼得·阿策尔
8
2001
关于构造性无点拓扑和点集拓扑中的(T_{1})公理和其他分离性质。 Zbl 1223.03050号
彼得·阿策尔乔瓦尼·居里
7
2010
数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。重印。 Zbl 0528.03001号
7
1982
二进制求精意味着离散指数运算。 兹伯利1112.03048
彼得·阿策尔劳拉·克罗西拉石原、Hajime埃里克·帕尔姆格伦彼得·舒斯特
6
2006
关系反射方案。 Zbl 1134.03038号
彼得·阿策尔
6
2008
大基数的归纳定义和类似物。 Zbl 0272.02065号
彼得·阿策尔韦恩·里希特
5
1972
第3章。代数和余代数。 Zbl 1065.68512号
彼得·阿策尔
5
2002
过程的最终宇宙。 Zbl 1509.68179号
彼得·阿策尔
5
1994
卢辛分离定理的构造性版本。 Zbl 1171.03037号
彼得·阿策尔
4
2009
在一些二阶算术系统中的可表示性。 Zbl 0216.00602号
阿策尔,P。
4
1970
广义几何理论和集生成类。 Zbl 1362.03056号
彼得·阿策尔石原、Hajime内莫托、高子三姑、靖国
4
2015
依赖型理论中的收集原则。 Zbl 1054.03036号
彼得·阿策尔尼古拉·甘比诺
4
2002
广义集合论。 Zbl 0862.03027号
彼得·阿策尔
1996
语义学讲座:最初的代数和最后的余代数观点。 兹伯利0882.68086
彼得·阿策尔
2
1997
基本和算术构造集理论。 Zbl 1270.03129号
彼得·阿策尔
2
2013
构造订单类型。三、。 Zbl 0199.02901号
艾泽尔,P.H.G。J.N.克罗斯利。
2
1966
霍尔逻辑的表征问题。由P.Aczel、J.V.Tucker和J.C.Shepherdson进行讨论。 Zbl 0598.68035号
E.M.jun Clarke。
2
1984
有足够的内射集吗? Zbl 1319.03053号
彼得·阿策尔本诺·范登伯格约翰·格兰斯特罗姆彼得·舒斯特
2
2013
关于巴黎独立结果的两个说明。一: 拉姆齐定理的推广。二: 密度的序数高度。 Zbl 0487.03025号
彼得·阿策尔
1
1981
无穷逻辑和Barwise紧性定理。 兹伯利1416.03014
彼得·阿策尔
1
1973
《伊莎贝尔》中的两个理论框架及其实施。 Zbl 0756.03013号
彼得·阿策尔大卫·P·卡莱尔。纳克斯门德勒
1
1991
示意结果。 Zbl 0860.03011号
彼得·阿策尔
1
1994
构造集理论中框架的均衡器。 Zbl 1256.03053号
彼得·阿策尔
1
2011
超跳跃中的递归。 Zbl 0292.02038号
彼得·阿策尔彼得·辛曼(Peter G.Hinman)。
1
1974
广义几何理论和集生成类。 Zbl 1362.03056号
彼得·阿策尔石原、Hajime内莫托、高子三姑、靖国
4
2015
同伦类型理论。数学的单价基础。 Zbl 1298.03002号
单价基金项目
219
2013
基本和算术构造集理论。 Zbl 1270.03129号
彼得·阿策尔
2
2013
有足够的内射集吗? Zbl 1319.03053号
彼得·阿策尔本诺·范登伯格约翰·格兰斯特罗姆彼得·舒斯特
2
2013
构造集理论中框架的均衡器。 兹比尔1256.03053
彼得·阿策尔
1
2011
关于构造性无点拓扑和点集拓扑中的(T_{1})公理和其他分离性质。 Zbl 1223.03050号
彼得·阿策尔乔瓦尼·居里
7
2010
卢辛分离定理的构造性版本。 Zbl 1171.03037号
彼得·阿策尔
4
2009
关系反射方案。 Zbl 1134.03038号
彼得·阿策尔
6
2008
构造集理论中的一般拓扑学。 Zbl 1077.03035号
彼得·阿策尔
36
2006
构造集理论的广义类型理论解释。 Zbl 1100.03052号
尼古拉·甘比诺彼得·阿策尔
12
2006
二进制求精意味着离散指数运算。 Zbl 1112.03048号
彼得·阿策尔劳拉·克罗西拉石原、Hajime埃里克·帕尔姆格伦彼得·舒斯特
6
2006
构造拓扑中的分离特性。 Zbl 1095.03073号
彼得·阿策尔克里斯托弗·福克斯
8
2005
无限树和完全迭代理论:一个联合的观点。 Zbl 1028.68077号
彼得·阿策尔阿达梅克,吉安尼斯特凡·米利厄斯吉·维勒比尔
44
2003
第3章。代数和余代数。 Zbl 1065.68512号
彼得·阿策尔
5
2002
依赖型理论中的收集原则。 Zbl 1054.03036号
彼得·阿策尔尼古拉·甘比诺
4
2002
无限树和迭代的联合视图。 Zbl 1260.68235号
彼得·阿策尔阿达梅克,吉安尼吉·维勒比尔
17
2001
Russell-Prawitz模式。 Zbl 0988.03033号
彼得·阿策尔
8
2001
关于关联类型理论和集合理论。 Zbl 0944.03056号
彼得·阿策尔
20
1999
语义学讲座:最初的代数和最后的代数观点。 Zbl 0882.68086号
彼得·阿策尔
2
1997
广义集合论。 Zbl 0862.03027号
彼得·阿策尔
1996
过程的最终宇宙。 Zbl 1509.68179号
彼得·阿策尔
5
1994
示意结果。 Zbl 0860.03011号
彼得·阿策尔
1
1994
《伊莎贝尔》中的两个理论框架及其实施。 兹伯利0756.03013
彼得·阿策尔大卫·P·卡莱尔。纳克斯门德勒
1
1991
最后一个余代数定理。 Zbl 1496.03206号
彼得·阿策尔纳克斯门德勒
73
1989
无资金支持的集合。乔恩·巴韦斯(Jon Barwise)的前言。 Zbl 0668.04001号
彼得·阿策尔
194
1988
构造集理论的类型理论解释:归纳定义。 Zbl 0624.03044号
彼得·阿策尔
59
1986
霍尔逻辑的表征问题。由P.Aczel、J.V.Tucker和J.C.Shepherdson进行讨论。 Zbl 0598.68035号
E.M.jun Clarke。
2
1984
建构集理论的类型理论解释:选择原则。 兹伯利0529.03035
彼得·阿策尔
41
1982
数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。重印。 Zbl 0528.03001号
7
1982
关于巴黎独立结果的两个说明。一: 拉姆齐定理的推广。二: 密度的序数高度。 Zbl 0487.03025号
彼得·阿策尔
1
1981
致H.B.Curry:关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号
145
1980
弗雷格结构和命题、真理和集合的概念。 Zbl 0462.0302号
彼得·阿策尔
48
1980
构造集理论的类型论解释。 Zbl 0481.03035号
彼得·阿策尔
72
1978
数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。第二次打印。 Zbl 0443.03001号
14
1978
递归密度类型和Nerode算法扩展。 Zbl 0308.02045号
艾泽尔,P。
34
1975
量词、游戏和归纳定义。 Zbl 0324.02009号
彼得·阿策尔
9
1975
可容许序数的归纳定义和反射性质。 Zbl 0318.02042号
韦恩·里希特彼得·阿策尔
23
1974
超跳跃中的递归。 Zbl 0292.02038号
彼得·阿策尔彼得·辛曼(Peter G.Hinman)。
1
1974
无穷大逻辑和Barwise紧性定理。 Zbl 1416.03014号
彼得·阿策尔
1
1973
使用超限类型的泛函描述序数。 Zbl 0264.02025
彼得·阿策尔
9
1972
大基数的归纳定义和类似物。 Zbl 0272.02065号
彼得·阿策尔韦恩·里希特
5
1972
在一些二阶算术系统中的可表示性。 Zbl 0216.00602号
艾泽尔,P。
4
1970
饱和直觉主义理论。 Zbl 0198.32205号
艾泽尔,P.H.G。
10
1968
构造订单类型。三、。 Zbl 0199.02901号
艾泽尔,P.H.G。J.N.克罗斯利。
2
1966
全部的 前5名

544位作者引用

25 斯特凡·米利厄斯
21 迈克尔·拉特扬
18 阿达梅克,吉安尼
16 埃里克·帕尔姆格伦
15 彼得·迈克尔·舒斯特
15 吉·维勒比尔
11 可口、蒂埃里
11 石原、Hajime
10 乔瓦尼·居里
9 彼得·阿策尔
9 阿尔贝托,Policriti
9 本诺·范登伯格
8 简·J·M·M·鲁顿。
7 劳伦斯·莫斯。
7 卢茨·施罗德
7 乌斯塔卢,塔尔莫
6 安德烈亚·坎蒂尼
6 彼得·戴比杰
6 尼尔·加尼
6 居伊·M·朱马里。
6 卡瓦伊、达松吉
6 亚历山大·库尔兹
6 罗伯特·卢巴斯基。
6 Moerdijk,比如
6 德克·帕丁森
6 丹尼尔·韦塞尔
6 托尔斯滕·魏斯曼
5 胡安·巴勃罗·阿奎莱拉
5 阿戈斯蒂诺·多维尔
5 贡查罗夫,谢尔盖·萨沃斯特·亚诺维奇
5 萨缪尔·马斯基奥
5 马西耶·皮罗格
5 克里斯托夫·劳赫
4 阿莱、东山英彦
4 弗朗西斯科·西罗洛
4 德马尔基,费德里科
4 罗伯特·伊恩·戈德布拉特
4 Furio Honsell
4 巴特·雅各布斯
4 玛丽娜·莱妮莎
4 玛丽亚·艾米莉亚·梅埃蒂
4 劳伦斯·查尔斯·保尔森
4 克里斯蒂安·萨特勒
4 安德鲁·舒曼
4 安东·塞泽尔
4 亚历山德鲁·伊昂·托梅斯库
克里斯蒂·L·贝尔曼。
安德烈亚斯·拉斐尔·布拉斯
维南西奥·卡普雷塔
劳拉·克罗西拉
约翰·纽索姆·克罗斯利
弗朗西斯科·达格尼诺
埃里克·P·德文克。
雅各布·埃梅内格
所罗门·费弗曼
马尔科·福蒂
肯塔罗州藤本市
尼古拉·甘比诺
格鲁,克劳斯·E。
马科托·哈马纳
赫里萨菲斯·哈托纳斯
Hötzel Escardó,马汀
西蒙·胡贝尔
罗莎莉,伊姆霍夫
贾格尔,格哈德
安斯滕·默奇·克莱夫
克里斯托弗·兰道尔
保罗·布莱恩·利维
克里斯托夫·吕斯
米拉·塞德尔巴姆少校。
马里诺·米库兰
丹尼尔·米塞尔贝克·韦塞尔
奥莫多,尤金尼奥·乔瓦尼
佛朗哥·帕拉米奥
巴甫洛维奇,杜什科
马可·佩雷索蒂
卡拉广场
Damien Pous
戴维·里纳尔迪
朱里安·罗特
乔瓦尼·桑宾
佐藤,肯塔罗
弗拉基米尔·于萨佐诺夫。
亚历克斯·K·辛普森。
溅出物,Bas
托马斯·斯特里彻
阿萨纳西奥斯·祖瓦拉斯
汉斯·皮特·范·迪特马什
瓦尔莫·维尼
菲利普·韦尔奇。
阿尔伯特·齐格勒
2 萨姆森·艾布拉姆斯基
2 阿达姆·戴,碧
2 罗宾·亚当斯
2 瓦罗尔·阿克曼
2 托尔斯滕·阿滕柯奇
2 普雷姆·纳特·阿罗拉
2 杰里米·阿维加德
2 巴博萨、路易斯·索亚雷斯
2 迈克尔·巴尔
…还有444位作者
全部的 前5名

96篇连载文章中引用

87 纯逻辑与应用逻辑年鉴
71 理论计算机科学
21 MSCS公司。计算机科学中的数学结构
19 数学逻辑档案
18 计算机科学中的逻辑方法
17 符号逻辑杂志
16 信息与计算
14 哲学逻辑杂志
13 圣母院形式逻辑杂志
11 自动推理杂志
10 合成
9 Studia Logica公司
8 国际通用系统杂志
8 数学逻辑季刊(MLQ)
7 纯粹与应用代数杂志
7 控制论与系统
7 符号逻辑公报
7 符号逻辑述评
5 信息与优化科学杂志
5 逻辑、语言与信息杂志
5 逻辑与代数程序设计杂志
5 应用逻辑杂志
4 美国数学学会会刊
4 符号计算杂志
4 统计传播。理论与方法
4 RAIRO公司。理论信息学及其应用
信息处理信件
逻辑历史与哲学
逻辑与分析杂志
程序设计中的逻辑和代数方法杂志
2 现代物理快报B
2 数学物理中的通信
2 代数与逻辑
2 应用数学与计算
2 信息科学
2 计算机与系统科学杂志
2 美国数学学会会刊
2 拓扑及其应用
2 计算的形式方面
2 Indagationes Mathematicae公司。新系列
2 应用的分类结构
2 函数编程杂志
2 范畴的理论与应用
2 数理逻辑杂志
2 计算机语言、系统和结构
2 汇聚数学
1 人工智能
1 Archive für Mathematische Logik und Grundlagenforschung公司
1 计算机与数学及其应用
1 国际理论物理杂志
1 数学分析与应用杂志
1 数学物理中的字母
1 数学笔记
1 剑桥哲学学会数学进展杂志
1 Semesterberichte数学
1 梅特里卡
1 莫斯科大学数学通报
1 数学信使
1 数学进展
1 代数普遍性
1 比特币
1 《伦敦数学学会通报》
1 国际数学与数学科学杂志
1 伦敦数学学会杂志。第二系列
1 凯伯内特斯
1 语言学与哲学
1 Monatsheft für Mathematik
1 《数学研究所出版物》。Nouvelle Série公司
1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学
1 欧洲组合数学杂志
1 数学社会科学
1 优化
1 国际智能系统杂志
1 离散事件动态系统
1 人工智能综述
1 Aequationes数学
1 国际计算机数学杂志
1 系统设计中的形式化方法
1 托波伊
1 软计算
1 跨学科数学杂志
1 高阶和符号计算
1 国际应用数学与计算机科学杂志
1 数学年鉴Silesianae
1 逻辑程序设计理论与实践
1 应用数学杂志
1 Oberwolfach报告
1 美国数学学会公报
1 泛逻辑
1 逻辑与分析
1 《大学学报》。数学软件
1 \(p\)-Adic数、超微分析和应用
1 RAIRO公司。理论信息学及其应用
1 理论生物学杂志
1 可计算性

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.