报告内容：一个有单位元的交换环R上的Zariski空间由R的所有素理想组成，记为Spec(R), A是该空间的一个闭子集，如果R有一个理想I使得A由包含I的所有素理想组成。一般来讲，Zariski空间是紧的，T0空间。如果R是布尔环，相应的Zariski空间就是T2，全不连通的紧空间，也就是Stone空间。这样Stone对偶就成了Zariski拓扑的一个特例。报告里我们先概要地介绍这个思路，继而探讨这个方法是否可以用来给出其它对偶理论，如Gelfand对偶等。

报告人简介：吴国华，新加坡南洋理工大学教授，博士生导师。长期致力于计算理论与模型、复杂性理论与数理逻辑的研究。2003年获新西兰皇家学会颁发的年度Hatherton奖。承担新加坡教育部研究项目多项，参与国家自然科学基金重点项目、国际交流合作项目多项，已在《Journal of Mathematical Logic》、《Journal of Symbolic Logic》、《Annals of Pure and Applied Logic》和《Topology and its Applications》等期刊发表学术论文60余篇。