A topos for continuous logic

zbMATH Open1500.03019arXiv2107.10543MaRDI QIDQ5868039FDOQ5868039

Authors: Daniel G. Figueroa, Benno van den Berg 

Publication date: 19 September 2022

Abstract: We suggest an ordering for the predicates in continuous logic so that the semantics of continuous logic can be formulated as a hyperdoctrine. We show that this hyperdoctrine can be embedded into the hyperdoctrine of subobjects of a suitable Grothendieck topos. For this embedding we use a simplification of the hyperdoctrine for continuous logic, whose category of equivalence relations is equivalent to the category of complete metric spaces and uniformly continuous maps.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
• A completeness theorem for continuous predicate modal logic
• scientific article; zbMATH DE number 7184880
• Continuity and geometric logic
• Model theory for metric structures

zbMATH Keywords

metric spacescategorical logiccontinuous logichyperdoctrinesGrothendieck toposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Grothendieck topologies and Grothendieck topoi (18F10) Continuous model theory, model theory of metric structures (03C66)

Cites Work

• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Tripos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory for metric structures
• Metric spaces, generalized logic, and closed categories
• Continuous first order logic and local stability
• Realizability. An introduction to its categorical side
• Adjointness in Foundations
• Classifying toposes for first-order theories
• Continuous Model Theory. (AM-58)
• Unifying exact completions
• CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC

Cited In (8)

• Encoding complete metric structures by classical structures
• A presentation theorem for continuous logic and metric abstract elementary classes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuity and geometric logic
• Model theory for metric structures
• CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC

This page was built for publication: A topos for continuous logic

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