### On Finite Rigid Structures

by Gurevich and Shelah. [GuSh:526]

J Symbolic Logic, 1996

The main result of this paper is a probabilistic
construction of finite rigid structures. It yields a finitely
axiomatizable class of finite rigid structures where no
L^omega_{infty, omega} formula with counting quantifiers
defines a linear order.

Back to the list of publications