Functional reducts of the countable atomless Boolean algebra

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION(2023)

引用 0|浏览0
暂无评分
摘要
For an algebra 2l = (A, f(1), ... f(n)) the algebra B = (A, t(1), ..., t(k)) is called a functional reduct if each tj is a term function of 2l. We classify the functional reducts of the countable atomless Boolean algebra up to first-order interdefinability. That is, we consider two functional reducts the "same" if their group of automorphisms is the same. We show that there are 13 such reducts and describe their structures and group of automorphisms.
更多
查看译文
关键词
Functional reducts,Boolean algebras,homogeneous structures,terms functions
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要