4 citations · 9 across the 14 of their papers we have counts for
Showing math.COShow all
3 papers · 1 filter
math.CO2026
Equivalences of promise compactness principles
Bertalan Bodor
For a pair of finite relational structures such that homomorphically maps to we denote by $K_{(\mathfrak{A},\mathfrak{B}…
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…