On stability in finite models
The author presents a set-up in which basic results from stability theory (relationship between stability, order property, independence property,\dots) of infinite models hold for finite structures. Types in finite variable fragments of first-order logic are one of the central notions; it is quite hard to understand the definition given in the paper.
scientific article; zbMATH DE number 1443415