%0 Journal Article
%T A Model Existence Theorem for Infinitary Formulas in Metric Spaces
%A Carlos Ortiz
%J Mathematics
%D 1998
%I arXiv
%X 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 approximate truth in normed structures introduced by Henson and studied in different forms by Anderson and Fajardo & Keisler. This theorem extends Henson's Compactness Theorem for approximate truth in normed space structures to infinitary formulas.
%U http://arxiv.org/abs/math/9802114v1