The sentence ending the first paragraph of section 5 is garbled:
" In this section, we will discuss some such criteria, as well as In our setting, this sort of measure turns out to be definable."
Typo: The statement of Theorem 4.1 omits the word "continuous".