The following pages link to Theory of representations (Q1073022):
Displaying 50 items.
- A Wadge hierarchy for second countable spaces (Q494657) (← links)
- A semilattice of degrees of computable metrics (Q820483) (← links)
- Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000) (← links)
- Computing Schrödinger propagators on type-2 Turing machines (Q864440) (← links)
- Type 2 recursion theory (Q1073021) (← links)
- Compactness in constructive analysis revisited (Q1100202) (← links)
- Representations of the real numbers and of the open subsets of the set of real numbers (Q1101448) (← links)
- On the complexity of online computations of real functions (Q1186506) (← links)
- \(\delta\)-uniform BSS machines (Q1271171) (← links)
- A domain-theoretic approach to computability on the real line (Q1274807) (← links)
- Equality is a jump (Q1292397) (← links)
- Computability on subsets of Euclidean space. I: Closed and compact subsets (Q1292398) (← links)
- Computable Banach spaces via domain theory (Q1292403) (← links)
- An effective Riemann Mapping Theorem (Q1292405) (← links)
- Concrete models of computation for topological algebras (Q1292413) (← links)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- Computability on the probability measures on the Borel sets of the unit interval (Q1292415) (← links)
- Effectiveness of the global modulus of continuity on metric spaces (Q1292416) (← links)
- Random elements in effective topological spaces with measure. (Q1401925) (← links)
- Computability on continuous, lower semi-continuous and upper semi-continuous real functions (Q1575670) (← links)
- Topological properties of real number representations. (Q1607288) (← links)
- Foundation of a computable solid modelling. (Q1607293) (← links)
- Extended admissibility. (Q1607303) (← links)
- Reducibility of computable metrics on the real line (Q1703268) (← links)
- Computability on computable metric spaces (Q1802069) (← links)
- Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations (Q1885034) (← links)
- Computable metrics above the standard real metric (Q2033336) (← links)
- On the complexity of conversion between classic real number representations (Q2106593) (← links)
- Quantitative coding and complexity theory of compact metric spaces (Q2106606) (← links)
- The fixed-point property for represented spaces (Q2120973) (← links)
- On the maximality of degrees of metrics under computable reducibility (Q2145741) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- Computable reducibility of metrics on the reals (Q2165612) (← links)
- Completion of choice (Q2220486) (← links)
- Type 2 computational complexity of functions on Cantor's space (Q2277260) (← links)
- Parametrised second-order complexity theory with applications to the study of interval computation (Q2285136) (← links)
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
- Base-complexity classifications of qcb0-spaces1 (Q2799752) (← links)
- How constructive is constructing measures? (Q2987777) (← links)
- Coherence Spaces and Uniform Continuity (Q2988356) (← links)
- Alan Turing and the Foundations of Computable Analysis (Q3174639) (← links)
- Coalgebraic Representation Theory of Fractals (Q3178264) (← links)
- Computable Riesz Representation for Locally Compact Hausdorff Spaces (Q4918024) (← links)
- Three topological reducibilities for discontinuous functions (Q5046178) (← links)
- Continuous and monotone machines (Q5089226) (← links)
- Degrees of unsolvability of continuous functions (Q5311741) (← links)
- When series of computable functions with varying domains are computable (Q5396227) (← links)
- A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647) (← links)
- WEIHRAUCH GOES BROUWERIAN (Q5858925) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
