3
$\begingroup$

Is there a property of finite structures expressible with a sentence using only 2 variables and quantifier rank n but not expressible by any sentence with more variables and quantifier rank less than n ?

Improve this question
$\endgroup$

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .