ML p(r)ior | On finite rigid structures
Processing...

On finite rigid structures

1994-11-15
9411236 | math.LO
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.
PDF

Highlights - Most important sentences from the article

Login to like/save this paper, take notes and configure your recommendations