1998/02/24 by Carlos Ortiz, C. Ortiz, Ortiz, Carlos
Mathematics · #03C65 #46B08 #46B20 #Advanced Banach Space Theory #FOS: Mathematics #Fixed Point Theorems Analysis #Functional Analysis (math.FA) #Functional Equations Stability Results #Logic (math.LO) #math.FA #math.LO #msc:03C65 #msc:46B08 #msc:46B20
paper · pdf · doi:10.48550/arxiv.math/9802114
26 pages. See also http://www.beaver.edu/programs/math%26compsci/ortiz.htm
arxiv created 1998/02/24 · openalex publication_date 1998/02/24 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.