Finite models and finitely many variables

Anuj Dawar
1999 Banach Center Publications  
This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results.
doi:10.4064/-46-1-93-117 fatcat:uaadzrnjyzavpkkqcrsqpahoca