BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Bertalan Bodor appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
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 $K_{exp+}$ be the class of all structures $A$ such that the automorphism group of $A$ has at most $c n^{d n}$ orbits in its componentwise action on the set of $n$-tuples with pairwise distinct entries, for some constants $c,d$ with $d < 1$. We show that $K_{exp+}$ is precisely the class of finite covers of first-order reducts of unary structures, and also that $K_{exp+}$ is precisely the class of first-order reducts of finite covers of unary structures. It follows that the class of first-order reducts of finite covers of unary structures is closed under taking model companions and model-complete cores, which is an important property when studying the constraint satisfaction problem for structures from $K_{exp+}$. We also show that Thomas' conjecture holds for $K_{exp+}$: all structures in $K_{exp+}$ have finitely many first-order reducts up to first-order interdefinability.
Let $\mathbb{F}_2^ω$ denote the countably infinite dimensional vector space over the two element field and $\operatorname{GL}(ω, 2)$ its automorphism group. Moreover, let $\operatorname{Sym}(\mathbb{F}_2^ω)$ denote the symmetric group acting on the elements of $\mathbb{F}_2^ω$. It is shown that there are exactly four closed subgroups, $G$, such that $\operatorname{GL}(ω, 2)\leq G\leq \operatorname{Sym}(\mathbb{F}_2^ω)$. As $\mathbb{F}_2^ω$ is an $ω$-categorical (and homogeneous) structure, these groups correspond to the first order definable reducts of $\mathbb{F}_2^ω$. These reducts are also analyzed. In the last section the closed groups containing the infinite symplectic group $\operatorname{Sp}(ω, 2)$ are classified.