BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Csaba Szabó 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 $\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.
Recently it has been shown that all non-trivial closed permutation groups containing the automorphism group of the random poset are generated by two types of permutations: the first type are permutations turning the order upside down, and the second type are permutations induced by so-called rotations. In this paper we introduce rotations for finite posets, which can be seen as the poset counterpart of Seidel-switch for finite graphs. We analyze some of their combinatorial properties, and investigate in particular the question of when two finite posets are rotation-equivalent. We moreover give an explicit combinatorial construction of a rotation of the random poset whose image is again isomorphic to the random poset. As an corollary of our results on rotations of finite posets, we obtain that the group of rotating permutations of the random poset is the automorphism group of a homogeneous structure in a finite language.
We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve this result by showing that there exist exactly five closed permutation groups which contain the automorphism group of the random partial order, and thus expose all symmetries of this structure. Our classification lines up with previous similar classifications, such as the structures definable in the random graph or the order of the rationals; it also provides further evidence for a conjecture due to Simon Thomas which states that the number of structures definable in a homogeneous structure in a finite relational language is, up to first-order interdefinability, always finite. The method we employ is based on a Ramsey-theoretic analysis of functions acting on the random partial order, which allows us to find patterns in such functions and make them accessible to finite combinatorial arguments.