Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

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 require that the validity of formulas is independent of the particular interpretation of the numerical predicates and&nbsp;[&hellip;]
Published on April 27, 2017

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 \^ad of all finite structures of degree at most d: For each FO-sentence that is preserved under extensions (homomorphisms) on \^ad, a \^ad-equivalent existential (existential-positive)&nbsp;[&hellip;]
Published on December 29, 2015

  • < Previous
  • 1
  • Next >