BibTeX
@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
