Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: A topos for continuous logic
(Submitted on 22 Jul 2021)
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.
Link back to: arXiv, form interface, contact.