Zero-one law and definability of linear order.

Hannu Niemistö
Published in: J. Symb. Log. (2009)