Bertalan Bodor

activity

20152026

most citedInfinitely many reducts of homogeneous structures

4 citations · 9 across the 14 of their papers we have counts for

collaborators

16 papers

math.CO2026

Equivalences of promise compactness principles

Bertalan Bodor

For a pair of finite relational structures $(A, B)$ such that $A$ homomorphically maps to $B$ we denote by $K_{(\mathfrak{A},\mathfrak{B}…

math.LO2025

Taking model-complete cores

Manuel Bodirsky, Bertalan Bodor, Paolo Marimon

A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; a core companion of a theory $T$ …

math.LO2025

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 $A$ , i.e., the number of orbits of $A u t (A)$ on $n$ -tuples of distinct elements, and show tha…

math.LO2025

Structures with not too fast unlabelled growth

Bertalan Bodor

Let $S$ be the class of all structures whose growth rate on orbits of subsets of size $n$ is not faster than $\frac{2 ^{n}}{p ( n )}$ for any polynomial $p$ . In this article we…

math.LO2025

Structures preserved by primitive actions of $S_{ω}$

Manuel Bodirsky, Bertalan Bodor

We present a dichotomy for structures $A$ that are preserved by primitive actions of $S_{ω} = Sym (N)$ : such a structure primitively positively constructs all finite…

math.CO2024

The filter of interpretability types of Hobby-McKenzie varieties is prime

Bertalan Bodor, Gergő Gyenizse, Miklós Maróti +1

We study the Hobby-McKenzie varieties that constitute a major class investigated thoroughly in the monograph The shape of congruence lattices by Kearnes and Kiss. We obtain new cha…

math.CO2023

Taylor is prime

Bertalan Bodor, Gergő Gyenizse, Miklós Maróti +1

We study the Taylor varieties and obtain new characterizations of them via compatible reflexive digraphs. Based on our findings, we prove that in the lattice of interpretability ty…

cs.LO2023★ 1 cited

Symmetries of structures that fail to interpret something finite

Libor Barto, Bertalan Bodor, Marcin Kozik +2

We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters…

math.LO2021

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 $V$ over a prime field of odd order and which contain all automorphisms of $V$ …

math.LO2020★ 1 cited

Classification of $ω$ -categorical monadically stable structures

Bertalan Bodor

A first-order structure $A$ is called monadically stable iff every expansion of $A$ by unary predicates is stable. In this article we give a classification of…

math.LO2020

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…

math.RA2020

HS-stability and complex products in involution semigroups

Bertalan Bodor, Erkko Lehtonen, Thomas Quinn-Gregson +1

When does the complex product of a given number of subsets of a group generate the same subgroup as their union? We answer this question in a more general form by introducing HS-st…

math.GR2018★ 3 cited

Structures with Small Orbit Growth

Manuel Bodirsky, Bertalan Bodor

Let $K_{e x p +}$ 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 p…

math.LO2016★ 4 cited

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…

math.LO2015

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 $13$ such structures up t…

math.LO2015

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 $F_{2}^{ω}$ denote the countably infinite dimensional vector space over the two element field and $GL (ω, 2)$ its automorphism group. Moreover, let $\operato…

Equivalences of promise compactness principles

Taking model-complete cores

Labelled growth rates of ω-categorical structures and applications in choiceless set theory

Structures with not too fast unlabelled growth

Structures preserved by primitive actions of Sω​

The filter of interpretability types of Hobby-McKenzie varieties is prime

Taylor is prime

Symmetries of structures that fail to interpret something finite

Permutation groups on countable vector spaces over prime fields

Classification of ω-categorical monadically stable structures

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory

HS-stability and complex products in involution semigroups

Structures with Small Orbit Growth

Infinitely many reducts of homogeneous structures

Functional reducts of Boolean algebras

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

Labelled growth rates of $ω$ -categorical structures and applications in choiceless set theory

Structures preserved by primitive actions of $S_{ω}$

Classification of $ω$ -categorical monadically stable structures