Sheaves of Metric Structures
From MaRDI portal
Publication:2820701
DOI10.1007/978-3-662-52921-8_19zbMath1478.03068arXiv1110.4919OpenAlexW2187141611MaRDI QIDQ2820701
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
Metric spaces, metrizability (54E35) Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Applications of model theory (03C98) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic forcing (03C25)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Noncommutative Zariski geometries and their classical limit
- Categoricity in homogeneous complete metric spaces
- Topological model theory
- The model completion of the theory of commutative regular rings
- Sheaves of structures and generalized ultraproducts
- Model-completeness for sheaves of structures
- Reduced products and sheaves of metric structures
- Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models