@MISC{Ortiz08amodel, author = {Carlos E. Ortiz}, title = {A Model Existence Theorem for Infinitary Formulas in Metric Spaces}, year = {2008} }

Share

OpenURL

Abstract

We prove a Model Existence Theorem for a fully infinitary logic LA 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 ([7]) and studied in different forms by Anderson ([1]) and Fajardo and Keisler ([2]). This theorem extends Henson’s Compactness Theorem for approximate truth in normed space structures to infinitary formulas. 1