Source author record

Bertalan Bodor

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GR

Catalog footprint

Research overview

3works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

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 $13$ such structures up to first order interdefinability.

preprint2020arXiv

Structures with Small Orbit Growth

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.

preprint2015arXiv

Permutation groups containing infinite linear groups and reducts of infinite dimensional linear spaces over the two element field

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.