How to define a linear order on finite models

Abstract

We describe on a systematic investigation of the definability of linear order on classes of finite rigid structures. We obtain upper and lower bounds for the expressibility of linear order in various logics that have been studied extensively in finite model theory such as fixpoint logic (FP), partial fixpoint logic (PFP), infinitary logic /spl Lscrsub /spl infin/wsup w/ with a finite number of variables, as well as the closures of these logics under implicit definitions. Moreover, we show that the upper and lower bounds established here can not be improved dramatically, unless outstanding conjectures in complexity theory are resolved at the same time. >