Abstract
We introduce sheaves of metric structures and develop their basic model theory. The metric sheaves defined here provide a way to construct new metric models on sheaves (a strong generalization of the ultraproduct construction), with the additional property of having the theory of the resulting model controlled by the topology of a given space. More specifically, a metric sheaf \(\mathfrak {A}\) is defined on a topological space X such that each fiber is a metric model. A new model, the generic metric model, is obtained as the quotient space of the sheaf through an appropriate filter of open sets. Semantics in the generic model is completely controlled and understood by the forcing rules in the sheaf and Theorem 3. This work extends early constructions due to Comer [5] and Macintyre [12] and later developments due to Caicedo [3], to the context of continuous logic. We illustrate these concepts by studying the metric sheaf of the continuous cyclic flow on tori.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
A. Villaveces—The second author was partially supported by Colciencias (Departamento Administrativo de Ciencia, Tecnología e Innovación) for the research presented here.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Ben Yaacov, I., Berenstein, A., Henson, C.W., Usvyatsov, A.: Model theory of metric structures. In: Chatzidakis, Z., Macpherson, D., Pillay, A., Wilkie, A. (eds.) Model Theory with Applications to Algebra and Analysis. Lecture Notes Series of the London Mathematical Society, vol. 2. Cambridge University Press, Cambridge (2008)
Caicedo, X.: Conectivos sobre espacios topológicos. Rev. Acad. Colomb. Cienc. 21(81), 521–534 (1997)
Caicedo, X.: Lógica de los haces de estructuras. Rev. Acad. Colomb. Cienc. 19(74), 569–586 (1995)
Carson, A.B.: The model-completion of theory of commutative regular rings. J. Algebra 27, 136–146 (1973)
Comer, S.: Elementary properties of structures of sections. Bol. Soc. Mat. Mexicana. 19, 78–85 (1974)
Ellerman, D.: Sheaves of structures and generalized ultraproducts. Ann. Math. Logic 7, 163–195 (1974)
Flum, J., Ziegler, M.: Topological Model Theory. Springer, New York (1980)
Forero, A.: Una demostración alternativa del teorema de ultralímites. Revista Colombiana de Matemáticas 43(2), 165–174 (2009)
Grothendieck, A.: A general theory of fibre spaces with structure sheaf. Technical report, University of Kansas (1958)
Hirvonen, Å., Hyttinen, T.: Categoricity in homogeneous complete metric spaces. Arch. Math. Logic 48, 269–322 (2009)
Lopes, V.C.: Reduced products and sheaves of metric structures. Math. Log. Quart. 59(3), 219–229 (2013)
Macintyre, A.: Model-completeness for sheaves of structures. Fund. Math. 81, 73–89 (1973)
Macintyre, A.: Nonstandard analysis and cohomology. In: Nonstandard Methods and Applications in Mathematics. Lecture Notes in Logic, vol. 25. Association for Symbolic Logic (2006)
Montoya, A.: Contribuciones a la teoría de modelos de haces. Lecturas Matemáticas 28(1), 5–37 (2007)
Soares, R., Abramsky, S., Mansfield, S.: The cohomology of non-locality and contextuality. In: 8th International Workshop on QPL. EPTCS, vol. 95(74) (2012)
Villaveces, A.: Modelos fibrados y modelos haces para la teoría de conjuntos. Master’s thesis, Universidad de los Andes (1991)
Villaveces, A., Zambrano, P.: Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models. Math. Logic Q. 60(3), 211–227 (2014)
Zilber, B.: Non-commutative Zariski geometries and their classical limit. Confl. Math. 2, 265–291 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ochoa, M.A., Villaveces, A. (2016). Sheaves of Metric Structures. In: Väänänen, J., Hirvonen, Å., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2016. Lecture Notes in Computer Science(), vol 9803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-52921-8_19
Download citation
DOI: https://doi.org/10.1007/978-3-662-52921-8_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-52920-1
Online ISBN: 978-3-662-52921-8
eBook Packages: Computer ScienceComputer Science (R0)