47 citations · 115 across the 13 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.LO2026
Karp's NP-complete problems over first-order definable structures
Aidan Healy, Bartek Klin
We determine the decidability of Karp's NP-complete problems on structures which are first-order definable over the theory of equality, also known as orbit-finite sets with atoms o…
math.CO2026
The Finite Length Property of the Rado Graph and Friends
Jingjie Yang, Mikołaj Bojańczyk, Bartek Klin
An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space…