Separation Principles and Bounded Quantification
A. M. Dawes · Canadian Mathematical Bulletin · 1975
This note is concerned with the implication SepII(Q)→SepI(Q) where Q is a class of subsets of some set S. where cZ denotes S—Z. It is well-known that in general the above implication is false (e.g. let Q be the closed subsets of the reals).