Neocompact quantifier elimination in structures based on Banach spaces (Q5942464)

The authors study structures based on Banach spaces having the property that each set definable by neocompact formula (special infinitary formula) is equivalent to the countable intersection of sets definable by quantifier-free formulas. They show that this property is invariant with respect to different nonstandard hull constructions and it is the same as Henson's Quantifier Elimination in sufficiently saturated nonstandard hulls for internal Banach spaces.