Maicol A. Ochoa, Andrés Villaveces
Published 2011-10-21, updated 2012-04-05Version 3
We introduce and develop the theory of metric sheaves. A metric sheaf $\A$ is defined on a topological space $X$ 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.
Logic for metric structures and the number of universal sofic and hyperlinear groups
Randomizations of models as metric structures
Quantum mechanics in a metric sheaf: a model theoretic approach
![QR code for arXiv:1110.4919 [math.LO]](http://oss.arxitics.com/images/favicon.svg)