A Model Existence Theorem for Infinitary Formulas in Metric Spaces

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
26 pages. See also http://www.beaver.edu/programs/math%26compsci/ortiz.htm

Keywords

Logic, Functional Analysis, 03C65;46B08;46B20

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/76642

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9802114
 http://arxiv.org/abs/math/9802114

Collections

arXiv