5 citations · 9 across the 3 of their papers we have counts for
4 papers
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Frederik Harwath, Nicole Schweikardt
We study Gaifman locality and Hanf locality of an extension of first-order logic with modulo p counting quantifiers (FO+MOD_p, for short) with arbitrary numerical predicates. We re…
Order-Invariance of Two-Variable Logic is Decidable
Thomas Zeume, Frederik Harwath
It is shown that order-invariance of two-variable first-logic is decidable in the finite. This is an immediate consequence of a decision procedure obtained for the finite satisfiab…
Succinctness of Order-Invariant Logics on Depth-Bounded Structures
Kord Eickmeyer, Michael Elberfeld, Frederik Harwath
We study the expressive power and succinctness of order-invariant sentences of first-order (FO) and monadic second-order (MSO) logic on structures of bounded tree-depth. Order- inv…
Preservation and decomposition theorems for bounded degree structures
Frederik Harwath, Lucas Heimberg, Nicole Schweikardt
We provide elementary algorithms for two preservation theorems for first-order sentences (FO) on the class âd of all finite structures of degree at most d: For each FO-sentence tha…