Showing cs.LOShow all
2 papers · 1 filter
cs.LO2002
An Ehrenfeucht-Fraisse Game Approach to Collapse Results in Database Theory
Nicole Schweikardt
We present a new Ehrenfeucht-Fraisse game approach to collapse results in database theory and we show that, in principle, this approach suffices to prove every natural generic coll…
cs.LO2002
Arithmetic, First-Order Logic, and Counting Quantifiers
Nicole Schweikardt
This paper gives a thorough overview of what is known about first-order logic with counting quantifiers and with arithmetic predicates. As a main theorem we show that Presburger ar…