Functional reducts of Boolean algebras
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 such structures up to first order interdefinability.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
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.
Let F2ω denote the countably infinite dimensional vector space over the two element field and GL(ω,2) its automorphism group. Moreover, let Sym(F2ω) denote the symmetric group acting on the elements of F2ω. It is shown that there are exactly four closed subgroups, G, such that GL(ω,2)≤G≤Sym(F2ω). As F2ω is an ω-categorical (and homogeneous) structure, these groups correspond to the first order definable reducts of F2ω. These reducts are also analyzed. In the last section the closed groups containing the infinite symplectic group Sp(ω,2) are classified.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.