177 citations · 575 across the 18 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2017
Quantum mechanics in a metric sheaf: a model theoretic approach
Maicol A. Ochoa, Andrés Villaveces
We study model-theoretical structures for prototypical physical systems. First, a summary of the model theory of sheaves, adapted to the metric case, is presented. In particular, w…
math.LO2011
Sheaves of metric structures
Maicol A. Ochoa, Andrés Villaveces
We introduce and develop the theory of metric sheaves. A metric sheaf $\A$ is defined on a topological space such that each fiber is a metric model. We describe the constructio…