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