A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Finite models and finitely many variables
1999
Banach Center Publications
Preserved Fulltext
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