ML p(r)ior | On finite rigid structures

On finite rigid structures

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.

Highlights - Most important sentences from the article

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