Pages that link to "Item:Q1292396"
From MaRDI portal
The following pages link to Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets (Q1292396):
Displaying 9 items.
- Domain representability of metric spaces (Q674414) (← links)
- Two categories of effective continuous cpos (Q854182) (← links)
- Effective subsets under homeomorphisms of \(\mathbb{R}^n\) (Q897661) (← links)
- Computability on subsets of metric spaces. (Q1427773) (← links)
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. (Q1607287) (← links)
- A note on the representability of compact sets by real sequences (Q1861828) (← links)
- Exact real arithmetic using centred intervals and bounded error terms (Q2577477) (← links)
- Reducibility of domain representations and Cantor–Weihrauch domain representations (Q3545272) (← links)
- Domain representations of spaces of compact subsets (Q3559968) (← links)
