Consequences of neocompact quantifier elimination