Artur Jeż

Finite Satisfiability of Two-Variable Logic with Arbitrarily Many Successors

We study finite satisfiability of two-variable first-order logic over structures equipped with an arbitrary finite number of independent successor relations of linear orders. The number of successor relations is part of the input, and the vocabulary may contain further unrestricted unary and binary relations. We prove...