72 citations · 368 across the 79 of their papers we have counts for
Showing 2025 · math.LOShow all
3 papers · 2 filters
math.LO2025
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 …
math.LO2025
On the Computational Power of Extensional ESO
Manuel Bodirsky, Santiago Guzmán Pro
Extensional ESO is a fragment of existential second-order logic (ESO) that captures the following family of problems. Given a fixed ESO sentence and an input structure $\mathbb…
math.LO2025
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…