The following pages link to A topos for continuous logic (Q5868039):
Displaying 7 items.
- Continuity and geometric logic (Q280833) (← links)
- Encoding complete metric structures by classical structures (Q2228349) (← links)
- (Q3162345) (← links)
- (Q3509059) (← links)
- (Q4819375) (← links)
- A presentation theorem for continuous logic and metric abstract elementary classes (Q5108119) (← links)
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC (Q5855747) (← links)