Encoding Complete Metric Structures by Classical Structures

Ackerman, NL

Ackerman, NL (corresponding author), Harvard Univ, Dept Math, One Oxford St, Cambridge, MA 02138 USA.

LOGICA UNIVERSALIS, 2020; 14 (4): 421

Abstract

We show how to encode, by classical structures, both the objects and the morphisms of the category of complete metric spaces and uniformly continuous ......

Full Text Link