Pages that link to "Item:Q1101448"

The following pages link to Representations of the real numbers and of the open subsets of the set of real numbers (Q1101448):

Displaying 19 items.

• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
• A semilattice of degrees of computable metrics (Q820483) (← links)
• Non-recursiveness of the operations on real numbers (Q909437) (← links)
• Compactness in constructive analysis revisited (Q1100202) (← links)
• Computable invariance (Q1274805) (← links)
• Computability on subsets of Euclidean space. I: Closed and compact subsets (Q1292398) (← links)
• An effective Riemann Mapping Theorem (Q1292405) (← links)
• Effectiveness of the global modulus of continuity on metric spaces (Q1292416) (← links)
• Computability on continuous, lower semi-continuous and upper semi-continuous real functions (Q1575670) (← links)
• Topological properties of real number representations. (Q1607288) (← links)
• Computability on computable metric spaces (Q1802069) (← links)
• On the complexity of conversion between classic real number representations (Q2106593) (← links)
• Computable reducibility of metrics on the reals (Q2165612) (← links)
• Type 2 computational complexity of functions on Cantor's space (Q2277260) (← links)
• Decidability in analysis (Q2572942) (← links)
• A Real Number Structure that is Effectively Categorical (Q4243908) (← links)
• A Comparison of Certain Representations of Regularly Closed Sets (Q4916184) (← links)
• Weihrauch Complexity in Computable Analysis (Q5024577) (← links)
• A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647) (← links)