Sheaves of metric structures
Logic
2012-04-06 v3 Classical Analysis and ODEs
Abstract
We introduce and develop the theory of metric sheaves. A metric sheaf is defined on a topological space such that each fiber is a metric model. We describe the construction of the generic model as the quotient space of the sheaf through an appropriate filter. Semantics in this model is completely controlled and understood by the forcing rules in the sheaf.
Keywords
Cite
@article{arxiv.1110.4919,
title = {Sheaves of metric structures},
author = {Maicol A. Ochoa and Andrés Villaveces},
journal= {arXiv preprint arXiv:1110.4919},
year = {2012}
}
Comments
18 pages