Bertalan Bodor

works on

automorphism groups 1 first-order reducts 1 homogeneous structures 1 orbit growth 1 Thomas conjecture 1

From the 1 of 5 linked papers with an AI index.

collaborators

Showing math.LOShow all

4 papers · 1 filter

math.LO2026

Structures with not too fast unlabelled growth

Bertalan Bodor

The paper classifies all relational structures whose orbit‑growth on n‑element subsets is bounded by 2ⁿ divided by any polynomial, describing them via their automorphism groups, sh…

math.LO2026

Structures preserved by primitive actions of $S_{I ¨} $

Manuel Bodirsky, Bertalan Bodor

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

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 $I ¨ $ -categorical structures and applications in choiceless set theory

Bertalan Bodor, Samuel Braunfeld, James E. Hanson

We study the labelled growth rate of an $I ¨ $ -categorical structure $A$ , i.e., the number of orbits of $A u t (A)$ on $n$ -tuples of distinct elements, and show th…

Structures with not too fast unlabelled growth

Structures preserved by primitive actions of SI¨​

Taking model-complete cores

Labelled growth rates of I¨-categorical structures and applications in choiceless set theory

Structures preserved by primitive actions of $S_{I ¨} $

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