Bertalan Bodor

activity

20152026

ω

-categorical monadically stable structures

1 citations · 1 across the 6 of their papers we have counts for

collaborators

Showing 2025Show all

4 papers · 1 filter

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…

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ω​

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

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