6 citations · 15 across the 7 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.GR2024
Finite Simple Groups in the Primitive Positive Constructability Poset
Sebastian Meyer, Florian Starke
We show that any clone over a finite domain that has a quasi Maltsev operation and fully symmetric operations of all arities has an incoming minion homomorphism from I, the clone o…
math.RA2024
Symmetric Linear Arc Monadic Datalog and Gadget Reductions
Manuel Bodirsky, Florian Starke
A Datalog program solves a constraint satisfaction problem (CSP) if and only if it derives the goal predicate precisely on the unsatisfiable instances of the CSP. There are three D…
math.RA2024
Digraphs modulo primitive positive constructability
Florian Starke
This is my dissertation about digraphs ordered by pp-constructability. We study in particular smooth digraphs, i.e., digraphs without sources or sinks, tournaments and semicomplete…