Pages that link to "Item:Q5740207"

The following pages link to On the topological aspects of the theory of represented spaces (Q5740207):

Displaying 37 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₀ 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)
• Strong computable type (Q6062176) (← links)
• Computable Stone spaces (Q6109093) (← links)
• Notes on overt choice (Q6146824) (← links)
• COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)