TY - RPRT TI - On the expressive power of quantifiers in continuous logic AU - Itaï Ben Yaacov PY - 2022 UR - https://arxiv.org/abs/2207.01863 ID - 2207.01863 ER -