One Henkin Quantifier in the empty vocabulary suffices for   undecidability
  We prove that there are single Henkin quantifiers such that first order logic augmented by one of these quantifiers is undecidable in the empty vocabulary. Examples of such quantifiers are given. 
Konrad Zdanowski
math.LO