Prefer a chat interface with context about you and your work?
CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES
We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach (which has been the common approach so far to Banach space structures in continuous …