A topos for continuous logic

MaRDI QIDQ5868039zbMATH OpenFDO

Authors Daniel G. Figueroa, Benno van den Berg

Publication date 19 September 2022

Full work available at URL https://arxiv.org/abs/2107.10543, http://www.tac.mta.ca/tac/volumes/38/28/38-28abs.html

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

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)

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.

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

Cites work

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

Cited in

(8)

• Encoding complete metric structures by classical structures
• A presentation theorem for continuous logic and metric abstract elementary classes
• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• scientific article; zbMATH DE number 5802152 (Why is no real title available?)
• Continuity and geometric logic
• scientific article; zbMATH DE number 2103277 (Why is no real title available?)
• 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)