摘要

用具有超紧开集组成的基的Sober空间范畴给出了强代数格的拓扑表示定理,并引入了强算术格的概念,进一步给出了强算术格的拓扑表示定理。