Pages that link to "Item:Q5740207"
From MaRDI portal
The following pages link to On the topological aspects of the theory of represented spaces (Q5740207):
Displayed 35 items.
- Comparing representations for function spaces in computable analysis (Q1635809) (← links)
- A topological view on algebraic computation models (Q1679677) (← links)
- Towards computable analysis on the generalised real line (Q2011660) (← links)
- Game characterizations and lower cones in the Weihrauch degrees (Q2011671) (← links)
- On the computability of the set of automorphisms of the unit square (Q2072068) (← links)
- On envelopes and backward approximations (Q2104271) (← links)
- Some notes on spaces of ideals and computable topology (Q2106589) (← links)
- The fixed-point property for represented spaces (Q2120973) (← links)
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) (Q2693002) (← links)
- Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract) (Q2946357) (← links)
- The Vitali Covering Theorem in the Weihrauch Lattice (Q2970958) (← links)
- Many-one reductions and the category of multivalued functions (Q2973252) (← links)
- The Brouwer Fixed Point Theorem Revisited (Q3188240) (← links)
- On the algebraic structure of Weihrauch degrees (Q4553287) (← links)
- (Q4585068) (← links)
- On computability and disintegration (Q4593233) (← links)
- A comparison of concepts from computable analysis and effective descriptive set theory (Q4593238) (← links)
- (Q4989411) (← links)
- Representations and evaluation strategies for feasibly approximable functions (Q4995603) (← links)
- THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE (Q5000272) (← links)
- Computability of Subsets of Metric Spaces (Q5024568) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- Weihrauch Complexity in Computable Analysis (Q5024577) (← links)
- Effective aspects of Hausdorff and Fourier dimension (Q5061392) (← links)
- (Q5101341) (← links)
- (Q5155677) (← links)
- FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS (Q5159502) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Game characterizations and lower cones in the Weihrauch degrees (Q5228881) (← links)
- SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE (Q5855746) (← links)
- Point Degree Spectra of Represented Spaces (Q5864311) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
- Algebraic properties of the first-order part of a problem (Q6040614) (← links)
- Computable Stone spaces (Q6109093) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)