Sheaves of Metric Structures

DOI10.1007/978-3-662-52921-8_19zbMATH Open1478.03068arXiv1110.4919OpenAlexW2187141611MaRDI QIDQ2820701FDOQ2820701

Authors: Maicol Ochoa, Andrés Villaveces 

Publication date: 9 September 2016

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1110.4919

Recommendations

• Reduced products and sheaves of metric structures
• Sheaves in topology
• Assignments to sheaves of pseudometric spaces
• scientific article; zbMATH DE number 2068089
• scientific article; zbMATH DE number 3254675
• Sheaves in homotopy theory
• Sheaves and duality
• Sheaf theory and Paschke duality
• scientific article; zbMATH DE number 3892187
• Cohomology of sheaves

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Ultraproducts and related constructions (03C20) Model-theoretic forcing (03C25) Quantifier elimination, model completeness, and related topics (03C10) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Applications of model theory (03C98)

Cites Work

• Model theory for metric structures
• Categoricity in homogeneous complete metric spaces
• Sheaves of structures and generalized ultraproducts
• Model-completeness for sheaves of structures
• Topological model theory
• Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
• The model completion of the theory of commutative regular rings
• Title not available (Why is that?)
• Noncommutative Zariski geometries and their classical limit
• Reduced products and sheaves of metric structures
• Title not available (Why is that?)

Cited In (5)

• Reduced products and sheaves of metric structures
• Title not available (Why is that?)
• Assignments to sheaves of pseudometric spaces
• Measuring dependence in metric abstract elementary classes with perturbations
• An Approach to the Modelling of the Physical Continuum

This page was built for publication: Sheaves of Metric Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2820701)