A Model Existence Theorem for Infinitary Formulas in Metric Spaces

Simple item page
dc.creatorOrtiz, Carlos
dc.date1998-02-24
dc.date.accessioned2026-07-07T05:23:56Z
dc.date.available2026-07-07T05:23:56Z
dc.descriptionWe 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.
dc.description26 pages. See also http://www.beaver.edu/programs/math%26compsci/ortiz.htm
dc.identifierhttps://arxiv.org/abs/math/9802114
dc.identifierhttp://arxiv.org/abs/math/9802114
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/76642
dc.subjectLogic
dc.subjectFunctional Analysis
dc.subject03C65;46B08;46B20
dc.titleA Model Existence Theorem for Infinitary Formulas in Metric Spaces
dc.typetext

Files

Collections

arXiv