In this paper we classify some special reducts of the countable atomless Boolean algebra which we call functional reducts. We prove that there are exactly 1313 such structures up to first order interdefinability.
生成讲解博客的中文版本
生成AI智能校验的中文版本