4 citations · 9 across the 14 of their papers we have counts for
10 papers · 1 filter
Taking model-complete cores
Manuel Bodirsky, Bertalan Bodor, Paolo Marimon
A first-order theory is a model-complete core theory if every first-order formula is equivalent modulo to an existential positive formula; a core companion of a theory …
Labelled growth rates of -categorical structures and applications in choiceless set theory
Bertalan Bodor, Samuel Braunfeld, James E. Hanson
We study the labelled growth rate of an -categorical structure , i.e., the number of orbits of on -tuples of distinct elements, and show tha…
Structures with not too fast unlabelled growth
Bertalan Bodor
Let be the class of all structures whose growth rate on orbits of subsets of size is not faster than for any polynomial . In this article we…
Structures preserved by primitive actions of
Manuel Bodirsky, Bertalan Bodor
We present a dichotomy for structures that are preserved by primitive actions of : such a structure primitively positively constructs all finite…
Permutation groups on countable vector spaces over prime fields
Bertalan Bodor, Michael Pinsker, Lyra Schiffer +1
We describe all closed permutation groups which act on the set of vectors of a countable vector space over a prime field of odd order and which contain all automorphisms of …
Classification of -categorical monadically stable structures
Bertalan Bodor
A first-order structure is called monadically stable iff every expansion of by unary predicates is stable. In this article we give a classification of…
A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
Manuel Bodirsky, Bertalan Bodor
Constraint satisfaction problems (CSPs) for first-order reducts of finitely bounded homogeneous structures form a large class of computational problems that might exhibit a complex…
Infinitely many reducts of homogeneous structures
Bertalan Bodor, Peter J. Cameron, Csaba Szabó
It is shown that the countably infinite dimensional pointed vector space (the vector space equipped with a constant) over a finite field has infinitely many first order definable r…
Functional reducts of Boolean algebras
Bertalan Bodor, Kende Kalina, Csaba Szabó
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 t…
Permutation groups containing infinite linear groups and reducts of infinite dimensional linear spaces over the two element field
Bertalan Bodor, Kende Kalina, Csaba Szabó
Let denote the countably infinite dimensional vector space over the two element field and its automorphism group. Moreover, let $\operato…