Sheaves of Metric Structures

DOI10.1007/978-3-662-52921-8_19MaRDI QIDQ2820701zbMATH OpenOpenAlexFDO

Authors Maicol Ochoa, Andrés Villaveces

Publication date 9 September 2016

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3528226 (Why is no real title available?)
• scientific article; zbMATH DE number 5049995 (Why is no real title available?)
• Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
• Categoricity in homogeneous complete metric spaces
• Model theory for metric structures
• Model-completeness for sheaves of structures
• Noncommutative Zariski geometries and their classical limit
• Reduced products and sheaves of metric structures
• Sheaves of structures and generalized ultraproducts
• The model completion of the theory of commutative regular rings
• Topological model theory

Cited in

(5)

• Reduced products and sheaves of metric structures
• scientific article; zbMATH DE number 970231 (Why is no real title available?)
• 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)