1 citations · 2 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…