最近的幻灯片

• "构造集理论导论”，2011年6月30日，利兹-马洛亚培训研讨会上的演讲。

• "论沃沃德斯基的单价公理”，在第三届欧洲集合论会议上的演讲，2011年7月6日，爱丁堡。

• "相关排序逻辑的通用类型设置”，2011年7月26日在马赛举行的TACL演讲。

• "什么是集合？",2010年11月24日，利兹逻辑研讨会上的演讲。

• "CST的一些弱公理系统”，金泽研讨会上关于“建设性”的演讲逻辑和数学方面”，2010年3月8日至12日。

• "集合的类型理论概念”，在“集合论、经典与建构”会议上的演讲，阿姆斯特丹，2010年5月6日至7日。

• "初步建构集理论”，在“集合论、模型论、广义量词和数学基础：Jouko生日会议！为纪念Jouko Vaananen六十岁生日而举行的会议”，2010年9月16日至18日，赫尔辛基。

• "显式集合存在“，在“证明理论研讨会”上的讲话和建构主义”，利兹，2009年7月。

• "类型设置上的谓词逻辑“，在“数学的哲学和基础：认识论和本体论方面”，专门为Per Martin-Lof举办的会议2009年5月，他在乌普萨拉退休。

• "身份类型和类型设置”，2009年2月在乌普萨拉和哥德堡举办的研讨会

• "核心可拓数学与局部构造集理论",2008年10月在帕多瓦举行的会议上的讲话“构造拓扑和逻辑基础的进展”，以纪念乔瓦尼·桑宾60岁生日。

• "建构集理论”，2008年7月，曼彻斯特，Mathlogaps暑期学校讲座

• "局部构造集理论”，2008年4月在Oberwolfach的演讲。

• "类型设置上的谓词逻辑",2008年3月，在斯旺西2008年罗素演讲。

• "关于避免形式拓扑中的依赖选择”，3WFTop talk，帕多瓦，2007年5月。用于打印”20页“，

最近的论文

• "有足够的内射集吗？",作者：Peter Aczel、Benno van den Berg、Johan Granstroem，彼得·舒斯特（Peter Schuster）。出现在Studia Logica，2012？

• "独立分拣的通用类型设置逻辑”，2011年TACL演讲的扩展摘要。

• "局部构造集理论与归纳定义， ，在“古典和建构数学”，（乔瓦尼·索马鲁加编辑），西安大略大学哲学系列《科学》，施普林格出版社，2011年。

• "构造集理论中框架的均衡器”，在“逻辑、数学、哲学、复古热情（论文为纪念J.Bell）”，（由David DeVidi、Michael Hallett编辑和Peter Clark），西安大略大学系列科学哲学，第75卷，第3部分，施普林格出版社，2011年。

• "构造中的T1公理和其他分离性质无点拓扑和点集拓扑， Peter Aczel和Giovanni Curi著，发表于APAL，161（2010）第560-569页。

• "卢辛的建设性版本分离定理”， ，在书中`逻辑主义、直觉主义和形式主义——它们现在怎么样了？”，（Lindstr¶m，S.，Palmgren，E.，Segerberg，K.和Stoltenberg，V.eds.），综合图书馆，施普林格出版社，第129-1512009页。

• "关系反映方案”， ，《数学》特刊《逻辑季刊》，朱莉娅·扎佩、约瑟夫·伯杰、彼得·舒斯特编辑和Dirk Pattinson（客座编辑），第54卷，第1期，第5-11页，2008年。

• "二进制求精意味着离散指数“， 作者：Peter Aczel、Laura Crosilla、Hajime Ishihara、ErikPalmgren和Peter Schuster，收录于Studia Logica 84（2006）361-368。

• "构造集理论中的一般拓扑问题”，在第二次正式研讨会的会议记录中《纯粹与应用年鉴》特刊中的拓扑学《逻辑》，137（2006）3-29。

• "广义类型理论解释构造集理论}，作者：Nicola Gambino和Peter Aczel，《符号逻辑杂志》第71卷第1期，2006年3月，67-103日。

• "构造拓扑中的分离性质”，作者：Peter Aczel和Chris Fox，《从集合和类型到拓扑和分析”。建构数学实用基础初探（L.Crosilla，P.Schuster编辑），《牛津逻辑指南》，牛津大学出版社，第176-192页，2005年10月。

一些较旧的已发表论文

• “无限树和完全迭代理论：一个联合代数查看“由P.Aczel、J.Adamek、S.Milius和J.Velebil撰写理论计算机科学（2003）

• “代数和余代数”，在“代数和余代数”中程序构造数学中的方法”，编辑：R.Backhouse、R.Crole和Jeremy Gibbons2000年4月国际暑期学校和研讨会，LNCS 2297（2002）

• “依赖型理论中的收集原则”, 作者：P.Aczel和N.Gambino，在“证明和程序类型”中，由P.Callaghan、Z.Luo、J.Mckinna和R.Pollack编辑2000年研讨会记录，LNCS 2277（2002）中的初步版本"gzipped ps文件“，,

• "建构集理论的框架值语义”，,P.Aczel和N.Gambino，第39号Mittag-Lefler技术报告，2000/2001

• "关于构造集理论的注记”，,由Michael Rathjen撰写，Mittag-Leffler第40号技术报告，2000/2001. [这是1997年草案的改进和扩展版本"关于构造集理论的注记”.]

• "无限树的一个余代数视图和迭代”，, 与J.Adamek和J.Velebil合著，电子笔记理论计算机科学44.1（2001）

• “拉塞尔-普拉维茨模式”，计算机科学中的数学结构（2001），卷11，第541-554页。
  [中的初步版本技术报告系列，部门曼彻斯特大学计算机科学，UMCS-00-12-1型.]
• "论关联类型理论与集合理论”， 在“校对和程序类型”中，编辑：Altenkirch、Naraschewski和Reuse，《98型学报》，第1657页（1999年）。

• "关于简单键入的注释λ演算"1997年“计算逻辑”高级研究论文集马克托伯多夫国际暑期学校，（1999年）。

• "语义学讲座：初始代数和最终余代数透视图”1995年“计算逻辑”高级研究四讲马克托伯多夫国际暑期学校计算“，H.Schwichtenberg，Springer（1997）编辑。

• “广义集合论”，《逻辑、语言和计算》，杰里·塞利格曼和达格·韦斯特斯塔尔，eds，CSLI第58号讲稿，斯坦福大学，（1996）。

• “过程的最终世界”，在第九届国际会议上编程语义学数学基础会议，编辑：S.Brookes，M.Main，A.Melton，M.Mislove和D.Schmidt，SLNCS 802，第1-28页，(1994).

• “示意图后果”，《什么是逻辑系统》，Dov Gabbay编辑，OUP（1994）。

• “术语声明逻辑”，第六届IEEE CS逻辑研讨会论文集，（1991年）。

一些旧的未发布报告和幻灯片

• "关于构造集理论的注记”， 这是1997年的上一个版本“构造集理论注释”，

• "建构型理论”，
  1997年“计算逻辑”高级研究六讲马克托伯多夫国际暑期学校，1997年7月/8月。

• "研究的语义世界公平”，
  

• "代数理论发展类的概念（在谓语类型理论）。",部分与合作吉尔斯·巴特（Gilles Barthe）。1994年6月在瑞典巴斯塔德的演讲幻灯片。
• "类型理论的简单重载，1994年6月23日",
• "类型理论的类概念。与Gilles Barthe于1993年8月16日在曼彻斯特共同起草”，
  

• "对伽罗瓦理论基本定理，
• "Galois：理论发展项目”，1993年都灵代表大会报告逻辑框架中的数学。

帕多瓦大学系列讲座，1998年春季

• 建构集理论讲座笔记

一篇1980年未发表的论文

• 关于解释直觉主义高阶逻辑的注记

1978年发表的一篇影响深远的老论文

• 一个普适的Church-Rosser定理

返回到Peter Aczel的主页

上次更新日期：2014年10月29日