Pages that link to "Item:Q5739454"
From MaRDI portal
The following pages link to On the Logic of Generalised Metric Spaces (Q5739454):
Displaying 8 items.
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Hausdorff coalgebras (Q2024924) (← links)
- (Q3085174) (← links)
- Logic for metric structures and the number of universal sofic and hyperlinear groups (Q3190346) (← links)
- (Q4551182) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- Metric reasoning about λ-terms: The affine case (Q4635842) (← links)
- (Q5196789) (← links)