Functional reducts of Boolean algebras [article]

Bertalan Bodor, Kende Kalina, Csaba Szabó
2020 arXiv   pre-print
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 13 such structures up to first order interdefinability.
arXiv:1506.01314v2 fatcat:zdrv2eqlkbaafglww7vyjcmzay