A Model Existence Theorem for Infinitary Formulas in Metric Spaces

Details A Model Existence Theorem for Infinitary Formulas in Metric Spaces A Model Existence Theorem for Infinitary Formulas in Metric Spaces

1998-02-24

arxiv.org/abs/math/9802114v1

Mathematics

Logic

26 pages. See also http://www.beaver.edu/programs/math%26compsci/ortiz.htm

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Model Existence Theorem for Infinitary Formulas in Metric Spaces does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Model Existence Theorem for Infinitary Formulas in Metric Spaces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Model Existence Theorem for Infinitary Formulas in Metric Spaces will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-148489