Mostowski Andrzej (1913-1975

On a set of integers not definable by means of one-quantifier predicates