A Model Existence Theorem for Infinitary Formulas in Metric Spaces

Carlos Ortiz

We prove a Model Existence Theorem for a fully infinitary logic for metric structures. This result is based on a generalization of the notions of approximate formulas and approxima…