*Let
,
. Then some finite
has
.
*

*If every finite subset of has a model, then is consistent.
*

*There is an algorithm to determine, for any
and whether or not
.
*

*Note that this is not obvious at all.
*

John Fremlin 2010-02-17