Grzegorczyk points and filters in boolean contact algebras

REVIEW OF SYMBOLIC LOGIC(2021)

引用 0|浏览0
暂无评分
摘要
The purpose of this paper is to compare the notion of a Grzegorczyk point introduced in [19] (and thoroughly investigated in [3, 14, 16, 18]) to the standard notions of a filter in Boolean algebras and round filter in Boolean contact algebras. In particular, we compare Grzegorczyk points to filters and ultrafilters of atomic and atomless algebras. We also prove how a certain extra axiom influences topological spaces for Grzegorczyk contact algebras. Last but not least, we do not refrain from a philosophical interpretation of the results from the paper.
更多
查看译文
关键词
Boolean contact algebras,Grzegorczyk contact algebras,Grzegorczyk points,round filters,ultrafilters,Frechet filter,region-based topology,point-free topology,compactifications,concentric topological spaces,lob-spaces
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要